Please note that this newsitem has been archived, and may contain outdated information or links.
23 - 26 November 2021, 3rd international conference on Non-classical Modal and Predicate Logics (NCMPL 2021), Bochum, Germany (Hybrid)
Modalities and predicates have since ancient time been central notions of logic. In the 20th century, various systems of non-classical logics have emerged, with applications in many disciplines like Computer Science, Linguistics, Mathematics, and Philosophy. This gave rise to the questions of a non-classical treatment of quantifiers and modalities and the accommodation of quantifiers and modalities in non-classical logics. In response, various modal and predicate variants of non-classical logics have been introduced and studied in the past decades.
NCMPL is a conference series solely dedicated to modal and predicate non-classical logics. The aim of the conference is to bring together researchers from various branches of non-classical logics, not only to present recent advances in their particular fields, but also to identify common problems and methods and foster the exchange of ideas between researchers from separate fields.
Papers are sollicited. The scope includes theoretical works on the conference topics coming from all branches of formal logic (proof-theory, model theory, game theory, computational complexity, philosophical and historical aspects), as well as their applications in computer science, linguistics, philosophy, etc. Strong papers on propositional logics can also be accepted, provided they relate to the themes in the main scope of the conference (e.g., the study of completions in algebraic semantics, infinitary logics, etc.). Full versions of selected papers will be published in a special issue of an international peer-reviewed journal (to be specified).
Please note that this newsitem has been archived, and may contain outdated information or links.