\n

Modalitie s and predicates have since ancient times been cen tral notions of logic. In the 20th century, variou s systems of non-classical logics emerged, with ap plications mainly in Computer Science, but also in many other disciplines such as Linguistics, Mathe matics, and Philosophy. Both the theoretical studi es and the needs of applications gave rise to the questions of non-classical treatment of quantifica tion and modalities and their accommodation in the se non-classical logics. In response, various moda l and predicate variants of non-classical logics h ave been introduced and studied in the past decade s.

\n\nAlthough there are many good confer ences on (mainly propositional) non-classical logi cs, this conference is one solely dedicated to mod al and predicate non-classical logics. The aim of the conference is to bring together researchers in both pure and applied aspects of various branches of non-classical logics, not only to present rece nt advances in their particular fields, but mainly foster the exchange of ideas between researchers focusing on (1) separate branches of non-classical logic and (2) foundational and applied issues.

\n

URL:http://logic.sysu.edu.cn/wolc2017/
CONTACT:linzhe8 at mail.sysu.edu.cn
END:VEVENT
END:VCALENDAR
We invite submissions on both ( a) theoretical topics from all branches of mathema tical logic (e.g., proof-theory, model theory, gam e theory, computational complexity, etc.), as well as (b) their applications in various areas (inclu ding computer science, linguistics, mathematics, p hilosophy, etc.). Strong papers on propositional l ogics can also be accepted, provided they relate t o the themes in the main scope of the conference ( e.g., the study of completions in algebraic semant ics, propositional quantification, etc.).