[PlanetKR] Call for papers Special issue of Logic Journal of IGPL: Non-classical Modal and Predicate Logics

Yuping Shen yuping.shen.ilc at gmail.com
Wed Nov 16 14:38:46 EST 2011

(Apologies for multiple copies)

                    Call for papers

     *** Non-classical Modal and Predicate Logics ***
          special issue of Logic Journal of IGPL

Modalities and predicates have since ancient time been central
notions in 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 non-classical
treatment of quantification and modalities and their accommodation
in these non-classical settings.  In response, various modal and
predicate variants of non-classical logics have been introduced
and studied in the past decades.

This special issue is solely dedicated to modal and predicate
non-classical logics. Its aim is to bring together papers from
various branches of non-classical logics, not only to present
recent advances in the particular fields, but also to identify
common problems and methods and foster the exchange of ideas
between researchers from separate fields.

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
  - Predicate many-valued and partial logics
  - Predicate paraconsistent logics
  - Predicate non-monotonic logics, etc.

* 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

We encourage to submit papers on the above logics from any
branches of mathematical logic (proof-theory, model theory,
game theory, complexity, etc.), be it purely theoretical or
about applications in the foundation of mathematics, computer
science, linguistics, and philosophy.

== Deadline ==

31 March 2012

== Submissions ==

Papers should be submitted to ncmpl at cs.cas.cz. Please also
use this email to express interest in submitting a paper.

== A related conference ==

This special issue is related with the conference Non-classical
Modal and Predicate Logics, organized Guangzhou (Canton), China,
5-9 December, 2011. http://logic.sysu.edu.cn/ncmpl2011

Petr Cintula, Rosalie Iemhoff, Shier Ju
guest editors

More information about the PlanetKR mailing list