Vol-3326
urn:nbn:de:0074-3326-4

Copyright © 2022 for the individual papers by the papers' authors. Copyright © 2022 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 2022
Automated Reasoning in Quantified Non-Classical Logics 2022

Proceedings of the 4th International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2022)
affiliated with the 11th International Joint Conference on Automated Reasoning (IJCAR 2022)

Haifa, Israel, August 11, 2022.

Edited by

Christoph Benzmüller *
Jens Otten **

* University of Bamberg (and Freie Universität Berlin), Germany
** University of Oslo, Institutt for informatikk, Norway

Table of Contents

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

Invited Talks

Do Lawyers Use Automated Reasoning? (invited paper) 1-10
Tomer Libal
Advances and Challenges in the Development and Application of Forgetting Tools (invited talk abstract) 11-12
Renate A. Schmidt

Regular Papers

Towards a Coq Formalization of a Quantified Modal Logic 13-27
Ana de Almeida Borges
Reasoning in Non-normal Modal Description Logics 28-45
Tiziano Dalmonte, Andrea Mazzullo, Ana Ozaki
Intuitionistic Derivability in Anderson's Variant of the Ontological Argument 46-63
Annika Kanckos
(Re)moving Quantifiers to Simplify Parameterised Boolean Equation Systems 64-80
Thomas Neele
Advancing Automated Theorem Proving for the Modal Logics D and S5 81-91
Jens Otten
Automated Verification of Deontic Correspondences in Isabelle/HOL - First Results 92-108
Xavier Parent, Christoph Benzmüller

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