Vol-3875
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|