Vol-3874⫷ Vol-3875 ⫸Vol-3876
urn:nbn:de:0074-3875-4

Copyright © 2024 for the individual papers by the papers' authors. Copyright © 2024 for the volume as a collection by its editors. This volume and its papers are published under the Creative Commons License Attribution 4.0 International ( CC BY 4.0 ) .

ARQNL 2024
Automated Reasoning in Quantified Non-Classical Logics 2024

Proceedings of the 5th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024)

affiliated with the 12th International Joint Conference on Automated Reasoning ( IJCAR 2024 )

Nancy, France, July 1, 2024 .

Edited by

Christoph Benzmüller *
Jens Otten
Revantha Ramanayake *

* University of Bamberg , Germany (and Freie Universität Berlin , Germany)
** University of Oslo , Norway (and Potassco Solutions, Germany)
*** University of Groningen , Netherlands

Table of Contents

Preface
Summary: There were 8 papers submitted for peer-review to this workshop. Out of these, 8 papers were accepted for this volume.

Invited Talks

Separation Logics: Semantics and Proofs (invited talk abstract) 1-4
Didier Galmiche
On the Computational Content of Intuitionistic Modal Proofs (invited talk abstract) 5
Amir Akbar Tabatabai

Regular Papers

A Fresh Look at Relevant Number Theory 6-13
John Slaney
Implementing Intermediate Logics 14-23
Bastiaan Haaksema , Jens Otten , Revantha Ramanayake
Automated Proof Search in Intuitionistic Sentential Logic 24-37
Didier Galmiche , Brandon Hornbeck , Daniel Méry
Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy 38-47
Luca Pasetto , Christoph Benzmüller
Bisequent Calculi for Neutral Free Logic with Definite Descriptions 48-61
Andrzej Indrzejczak , Yaroslav Petrukhin
When Epsilon meets Lambda: Extended Leśniewski's Ontology 62-79
Andrzej Indrzejczak
On Regular Relations in Parametric Array Theories 80-91
Rodrigo Raya
A Proof-Theoretical Approach to Some Extensions of First Order Quantification 92-107
Loïc Allègre , Ophélie Lacroix , Christian Retoré

2024-12-11: submitted by Jens Otten, metadata incl. bibliographic data published under Creative Commons CC0
2024-12-20 : published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) | valid HTML5 |