23-26 Nov 2021
Bochum, Germany
Non-classical Modal and Predicate Logics, NCMPL 2021; Ruhr University of
Bochum, Germany, 23-26 November 2021
Call for papers
*** Non-classical Modal and Predicate Logics, NCMPL 2021 ***
Ruhr University of Bochum, Germany, 23-26 November 2021
https://sites.google.com/view/ncmpl2021
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.
After two editions in Sun Yat-Sen University, Guangzhou (Canton), China,
the third edition will be held in Bochum, Germany, November 23-26, 2021.
== Topics of interest ==
* The study of first- or higher-order variants of non-classical logics,
including, but not limited to:
- Predicate intuitionistic and superintuitionistic logics
- Predicate modal logics
- Predicate substructural logics (relevant, linear, fuzzy, etc.)
- Predicate many-valued and partial logics
- Predicate paraconsistent logics
- Predicate contra-classical logics
- Predicate non-monotonic logics, etc.
* Non-classical theories of quantification (over classical logic as well
as non-classical logics), such as:
- Free logics
- Branching quantifiers, dependence logic, and IF-logic
- Generalized quantifiers
- Propositional quantification
* Expansions by modalities of (propositional or predicate) non-classical
logics, including:
- Modal extensions of (super)intuitionistic, substructural,
many-valued, paraconsistent, non-monotonic, etc., logics
- Co-algebraic treatment of modalities
* Non-classical and non-standard mathematics, including:
- Intuitionistic and constructive mathematics
- Substructural mathematics (relevant, fuzzy, etc.)
- Inconsistent mathematics
- Non-standard analysis, alternative set theories, etc.
The scope includes theoretical works on the above 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).
== Submissions ==
Extended abstracts of 2-3 pages should be submitted via EasyChair, at
https://easychair.org/conferences/?conf=ncmpl2021
== Important dates ==
Abstract submission deadline: 1 September, 2021
Notification of acceptance: 25 September, 2021
Conference: 23-26 November, 2021
== Conference fee ==
The conference fee is 200 EUR. The fee covers conference materials,
coffee breaks, lunches during the conference, and social program.
== Invited speakers ==
Marta Bilkova
Liron Cohen
Oystein Linnebo
Tadeusz Litak
Carles Noguera
Graham Priest
Valentin Shehtman
Zach Weber
== Program committee ==
Libor Behounek (chair)
Heinrich Wansing (chair)
Arnon Avron
Agata Ciabattoni
Petr Cintula
Ed Mares
Alessandra Palmigiano
Dolf Rami
Peter Schuster
Christian Strasser
Yde Venema
Fan Yang
== Organizing committee ==
Hitoshi Omori (chair)
Fabio De Martin Polo
Franci Mangraviti
Satoru Niki
Daniel Skurt
Andrew Tedder
Heinrich Wansing
Timo Weiss
== Contacts ==
Web: https://sites.google.com/view/ncmpl2021
Email: ncmpl2021@rub.de<mailto:ncmpl2021@rub.de>
--
[LOGIC] mailing list
http://www.dvmlg.de/mailingliste.html
Archive: http://www.illc.uva.nl/LogicList/
provided by a collaboration of the DVMLG, the Maths Departments in Bonn and Hamburg, and the ILLC at the Universiteit van Amsterdam