\n

Non-class ical logics - such as modal logics, conditional lo gics, intuitionistic logic, description logics, te mporal logics, linear logic, dynamic logic, deonti c logics, fuzzy logic, paraconsistent logic, relev ance logic - have many applications in AI, Compute r Science, Philosophy, Linguistics, and Mathematic s. Hence, the automation of proof search in these logics is a crucial task. The ARQNL workshop aims at fostering the development of proof calculi, aut omated theorem proving systems and model finders f or all sorts of quantified non-classical logics. T he workshop will provide a forum for researchers t o present and discuss recent developments in this area.

\nARQNL 2024 is associated with IJCA R 2024, the International Joint Conference on Auto mated Reasoning.

\n

URL:http://iltp.de/ARQNL-2024/
END:VEVENT
END:VCALENDAR
We welcome c ontributions from computer scientists, linguists, philosophers, and mathematicians. Topics of the AR QNL workshop will cover all aspects related to the automation of quantified non-classical logics. Th e contributions may range from theory to system de scriptions and implementations. Contributions may also outline relevant applications, describe probl em formalizations, example problems, and benchmark s.

\nSubmissions of papers are solicited i n three categories: (A) Full papers (up to 15 page s excluding references) (B) Short papers (up to 8 pages excluding references) (C) Talk abstracts (up to 2 pages excluding references)