Logic List Mailing Archive

Non-classical modal and predicate logics

4-8 Dec 2017
Guangzhou, China

Call for papers

      *** Non-classical Modal and Predicate Logics ***
        Guangzhou (Canton), China, 4-8 December 2017
 	    http://logic.sysu.edu.cn/wolc2017/


Modalities and predicates have since ancient times been
central notions of logic.  In the 20th century, various
systems of non-classical logics emerged, with applications
mainly in Computer Science, but also in many other disciplines
such as Linguistics, Mathematics, and Philosophy. Both the
theoretical studies and the needs of applications gave rise
to the questions of non-classical treatment of quantification
and modalities and their accommodation in these non-classical
logics.  In response, various modal and predicate variants
of non-classical logics have been introduced and studied in
the past decades.

Although there are many good conferences on (mainly propositional)
non-classical logics, this conference is one solely dedicated to
modal 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 recent
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.

We invite submissions on both (a) theoretical topics from
all branches of mathematical logic (e.g., proof-theory,
model theory, game theory, computational complexity, etc.),
as well as (b) their applications in various areas (including
computer science, linguistics, mathematics, philosophy, etc.).

Topics of interest include (but are not limited to):

* 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 (e.g. epistemic, tense, action)
   - Predicate substructural logics
   - Predicate many-valued and partial logics
   - Predicate paraconsistent logics

   - Predicate conditional logic
   - Predicate non-monotonic logics

* Non-classical theories of quantification over classical logic,
   such as:
   - Free logics
   - Branching quantifiers and IF-logic
   - Generalized quantifiers

* Extensions 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

* Applications of non-classical modal and predicate logics in
   various areas, including:
   - Computer science
   - Linguistics and logical analysis of natural language
   - Philosophy
   - Methodology of science
   - Foundations of mathematics (non-classical mathematics)

   - Mathematical social sciences (e.g. social choice theory,
 				game theory, decision theory)

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, propositional quantification, etc.).

Full versions of selected papers will be published in a special
issue of an international peer-reviewed journal (to be specified).

== Invited speakers ==

Gilles Dowek
Xavier Caicedo
Thomas Ehrhard
Melvin Fitting
Rosalie Iemhoff
Edwin Mares
(more to be announced)


== Program committee ==

Shier Ju (chair)
Petr Cintula (chair)
Arnon Avron
Libor Behounek
Rob Goldblatt
Minghui Ma
Chris Mortensen
Hiroakira Ono
Alessandra Palmigiano
Valentin Shehtman
Yde Venema
Xuefeng Wen
(more to be announced)


== Organizing committee ==

Zhe Lin (chair)

== Contacts ==

Web:   http://logic.sysu.edu.cn/wolc2017/
Email: linzhe8@mail.sysu.edu.cn

== Submissions ==

Extended abstracts of 1-2 pages (including references)
should be submitted via the EasyChair web interface:
https://easychair.org/conferences/?conf=ncmpl2017

The typesetting style of the document is free for the moment,
but a file written according to LNCS style will be requested
upon acceptance


== Important dates ==

Deadline for abstracts:          1 September 2017
Notification of acceptance:     20 September 2017
Conference:                     4-8 December 2017


Shier Ju and Petr Cintula
Conference chairs
--
[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