\n

The ARQNL workshop aims at fostering the development of pro of calculi, automated theorem proving systems and model finders for all sorts of quantified non-clas sical logics. Non-classical logics - such as modal logics, conditional logics, intuitionistic logic, description logics, temporal logics, linear logic , dynamic logic, deontic logics, fuzzy logic, para consistent logic, relevance logic - have many appl ications in AI, Computer Science, Philosophy, Ling uistics and Mathematics. Hence, the automation of proof search in these logics is a crucial task. Th e workshop will provide a forum for researchers to present and discuss recent developments in this a rea.

\n\n

URL:http://iltp.de/ARQNL-2018/
CONTACT:jeotten at ifi.uio.no
END:VEVENT
END:VCALENDAR
We welcome contributio ns from computer scientists, linguists, philosophe rs, and mathematicians. The contributions may rang e from theory to system descriptions and implement ations. Contributions may also outline relevant ap plications and describe example problems and bench marks.

\n