Vol-2095
urn:nbn:de:0074-2095-6

Copyright © 2018 for the individual papers by the papers' authors. Copying permitted for private and academic purposes. This volume is published and copyrighted by its editors.

ARQNL 2018
Automated Reasoning in Quantified Non-Classical Logics

Proceedings of the 3rd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018)
affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2018)

Oxford, UK, July 18, 2018.

Edited by

Christoph Benzmüller *
Jens Otten **

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

Table of Contents

Preface

Invited Contributions

Implementations of Natural Logics 1-10
Lawrence S. Moss
Some Thoughts About FOL-Translations in Vampire 11-25
Giles Reger

Regular Contributions

Pseudo-Propositional Logic 26-33
Ahmad-Saher Azizi-Sultan
A Simple Semi-automated Proof Assistant for First-order Modal Logics 34-48
Tomer Libal
Labelled Connection-based Proof Search for Multiplicative Intuitionistic 49-63
Didier Galmiche, Daniel Mery
Labelled Calculi for Quantified Modal Logics with Non-rigid and Non-denoting Terms 64-78
Eugenio Orlandelli, Giovanna Corsi
System Demonstration: The Higher-Order Prover Leo-III 79-85
Alexander Steen, Christoph Benzmüller
Evidence Extraction from Parameterised Boolean Equation Systems 86-100
Wieger Wesselink, Tim A.C. Willemse

Additional Material

Complete ARQNL 2018 proceedings in one PDF file (1.4 MB)

2018-06-25: submitted by Christoph Benzmüller and Jens Otten, metadata incl. bibliographic data published under Creative Commons CC0
2018-06-25: published on CEUR-WS.org |valid HTML5|