18 July 2018, 3rd International Workshop Automated Reasoning in Quantified Non-Classical Logics (ARQNL 2018), Oxford, England

The ARQNL workshop aims at fostering the development of proof calculi, automated theorem proving systems and model finders for all sorts of quantified non-classical logics. Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic, dynamic logic, deontic logics, 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. The workshop will provide a forum for researchers to present and discuss recent developments in this area.