| Vol-1770 urn:nbn:de:0074-1770-7 Copyright © 2016 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 2016
Automated Reasoning in Quantified Non-Classical Logics

### Proceedings of the 2nd International Workshop on Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2016)
affiliated with the International Joint Conference on Automated Reasoning (IJCAR 2016)

### Coimbra, Portugal, July 1, 2016.

Edited by

### Christoph Benzmüller *
Jens Otten **

* Dep. of Mathematics and Computer Science, Freie Universität Berlin, Germany
** Institutt for informatikk, University of Oslo, Norway

## Table of Contents

- Preface

### Invited Contributions

- From Axioms to Proof Rules, then add Quantifiers 1-8
  Revantha Ramanayake

### Regular Contributions

- Non-clausal Connection-based Theorem Proving in Intuitionistic First-Order Logic 9-20
  Jens Otten
- Sequent Calculi for Indexed Epistemic Logics 21-35
  Giovanna Corsi, Eugenio Orlandelli
- A Dynamic Logic for Configuration 36-50
  Ching Hoo Tang, Christoph Weidenbach
- TPTP and Beyond: Representation of Quantified Non-Classical Logics 51-65
  Max Wisniewski, Alexander Steen, Christoph Benzmüller
- Optimizing Inconsistency-tolerant Description Logic Reasoning 66-80
  Mokarrom Hossain, Wendy MacCaull

### Additional Material

- Complete ARQNL 2016 proceedings in one PDF file (1.5 MB)

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