Home Page Image
Important Dates
  • Submission: September 5, 2011
  • Notification: September 20, 2011
  • Camera Ready: Oct. 20, 2011
  • Registration: Nov. 15, 2011
  •  

    Call for Papers new

    *** 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 (non-classical
    mathematics), computer science, linguistics, and philosophy.

    == Deadline ==

    31 March 2012

    == Submissions ==

    Papers should be submitted to ncmpl@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

    Last Updated by Yuping SHEN, Nov. 16, 2011