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