Original: https://ceur-ws.org/Vol-3875/ | Mirror: https://ceur-ws.wikidata.dbis.rwth-aachen.de/Vol-3875/ | Year: 2024

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 https://creativecommons.org/licenses/by/4.0/.

ARQNL 2024

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

Nancy, France, July 1, 2024.

Edited by

Christoph Benzmüller
Jens Otten
Revantha Ramanayake

Table of Contents

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

2024-12-20: published on CEUR Workshop Proceedings (CEUR-WS.org, ISSN 1613-0073) |valid HTML5|