This volume contains the proceedings of the Second International Workshop on Automated Reasoning in Quanti ed Non-Classical Logics (ARQNL 2016), held July 1st, 2016, in Coimbra, Portugal. The workshop was a liated and co-located with the International Joint Conference on Automated Reasoning (IJCAR 2016). The aim of the ARQNL 2016 Workshop has been to foster the development of proof calculi, automated theorem proving (ATP) systems and model nders for all sorts of quanti ed non-classical logics. The ARQNL workshop series provides a forum for researchers to present and discuss recent developments in this area.
Non-classical logics | such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, fuzzy logic, paraconsistent logic, relevance logic | have many applications in AI, Computer Science, Philosophy, Linguistics, and Mathematics. Hence, the automation of proof search in these logics is a crucial task. For many propositional non-classical logics there exist proof calculi and ATP systems. But proof search is signi cant more di cult than in classical logic. For rst-order and higher-order non-classical logics the mechanization and automation of proof search is even more di cult. Furthermore, extending existing non-classical propositional calculi, proof techniques and implementations to quanti ed logics is often not straightforward. As a result, for most quanti ed non-classical logics there exist no or only few (e cient) ATP systems. It is in particular the aim of the ARQNL workshop series to initiate and foster practical implementations and evaluations of such ATP systems for non-classical logics.
The ARQNL 2016 Workshop received 6 paper submissions. Each paper was reviewed by at least three referees, and following an online discussion, 5 research papers were selected to be included in the proceedings. The ARQNL 2016 Workshop also included an invited talk by Revantha Ramanaya.
We would like to sincerely thank the invited speaker and all authors for their contributions. We would also like to thank the members of the Program Committee of ARQNL 2016 for their professional work in the review process. Furthermore, we would like to thank the Workshop Chair Reinhard Kahle and the Organizing Committee of IJCAR 2016. Finally, many thanks to all active participants of the ARQNL 2016 Workshop.
Rajeev Gore Andreas Herzig Stephan Merz Till Mossakowski Aniello Murano Hans De Nivelle Jens Otten Valeria De Paiva Giselle Reis Julian Richardson Luca Vigano
Universidad Nacional de Cordoba, Argentina Freie Universitat Berlin, Germany { co-chair Centre for Logic, Epistemology and the History of Science, Brazil TU Wien, Austria The Australian National University, Australia IRIT-CNRS, France INRIA Nancy, France University of Magdeburg, Germany Universita di Napoli \Federico II", Italy University of Wroclaw, Poland University of Oslo, Norway { co-chair University of Birmingham, UK INRIA Saclay, France Google Inc., USA
King's College London, UK
From Axioms to Proof Rules, Then Add Quanti ers Revantha Ramanayake Sequent Calculi for Indexed Epistemic Logics Giovanna Corsi and Eugenio Orlandelli
Ching Hoo Tang and Christoph Weidenbach TPTP and Beyond: Representation of Quanti ed Non-Classical Logics Max Wisniewski, Alexander Steen and Christoph Benzmuller Optimizing Inconsistency-tolerant Description Logic Reasoning Mokarrom Hossain and Wendy MacCaull 1{8 9{20 21{35 36{50 51{65