This volume contains the proceedings of the Fifth International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2024), held July 1st, 2024, in Nancy, France. The workshop was affiliated and co-located with the International Joint Conference on Automated Reasoning (IJCAR 2024). The aim of the ARQNL 2024 Workshop has been to foster the development of proof calculi, automated theorem proving (ATP) systems and model finders for all sorts of quantified non-classical logics. The ARQNL workshop series provides a forum for researchers to present and discuss recent developments in this area.
Non-classical logics — such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, multivalued logic, dynamic logic, deontic logic, fuzzy logic, paraconsistent logic, relevance logic, free logic, natural logic — have many applications in Artificial Intelligence, Computer Science, Philosophy, Linguistics, and Mathematics. Hence, the automation of proof search in these logics is a crucial task. It is in particular the aim of the ARQNL workshop series to initiate and foster practical implementations and evaluations of such ATP systems for non-classical logics.
The ARQNL 2024 Workshop received eight paper submissions. Each paper was reviewed by at least three referees, and following an online discussion, all eight research papers were selected to be included in the proceedings. The ARQNL 2024 Workshop included invited talks by Didier Galmiche (“Separation Logics: Semantics and Proofs”) and Amir Akbar Tabatabai (“On the Computational Content of Intuitionistic Modal Proofs”).
We would like to sincerely thank the invited speakers, all authors for their contributions and all active participants of the ARQNL 2024 workshop. We would also like to thank the members of the Program Committee of ARQNL 2024 for their professional work in the reviewing process. Finally, we would like to acknowledge the support of the EasyChair conference management system.
Bamberg, Oslo and Groningen July 2024 Christoph Benzmu¨ller
Jens Otten
Revantha Ramanayake
University of Bamberg, Germany – co-chair University of Barcelona, Spain University of Milano, Italy University of Amsterdam, Netherlands University of Lodz, Poland University of Helsinki, Finland Ben-Gurion University, Israel University College London, UK University of Luxembourg and Enidia AI Indiana University Bloomington, USA Aix-Marseille University, France University of Oslo, Norway – co-chair Vienna University of Technology, Austria University of Groningen, Netherlands – co-chair Institute of Mathematical Sciences, Chennai, India
Separation Logics: Semantics and Proofs Didier Galmiche On the Computational Content of Intuitionistic Modal Proofs Amir Akbar Tabatabai A Fresh Look at Relevant Number Theory John Slaney Implementing Intermediate Logics Bastiaan Haaksema, Jens Otten and Revantha Ramanayake Automated Proof Search in Intuitionistic Sentential Logic Didier Galmiche, Brandon Hornbeck and Daniel Me´ry Implementing the Fatio Protocol for Multi-Agent Argumentation in LogiKEy Luca Pasetto and Christoph Benzmu¨ller Bisequent Calculi for Neutral Free Logic with Definite Descriptions Andrzej Indrzejczak and Yaroslav Petrukhin When Epsilon meets Lambda: Extended Les´niewski’s Ontology Andrzej Indrzejczak On Regular Relations in Parametric Array Theories Rodrigo Raya A Proof-Theoretical Approach to Some Extensions of First Order Quantification Lo¨ıc Alle`gre, Ophe´lie Lacroix and Christian Retore´ 1–4
5 6–13 14–23 24–37 38–47 48–61 62–79 80–91