Vol-3325⫷ Vol-3326 ⫸Vol-3327
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


Invited Talks

Regular Papers


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 |