Logic List Mailing Archive

Special Session on "Multimodal Logics", Lisbon (Portugal), April 2010

*CALL FOR PARTICIPATION*

     Special Session on "Multimodal Logics"

     = = = = = = = = = = = = == = = = = = = = == =
     *Deadline for submitting abstracts: October  15th, 2009*
     = = = = = = = = = = = = == = = = = = = = == =

     http://www.uni-log.org/start3.html

     3rd World Congress and School on Universal Logic
     Lisbon, Portugal, April 18-25,  2010


     Organizers:
      Walter Carnielli (CLE-UNICAMP and IFCH, Brazil)
      and
      Claudio Pizzi (University of Siena, Italy)

     Cosponsored by:

     Brazilian Logic Society
     http://www.cle.unicamp.br/sbl/

     Workgroup on Logic/ANPOF
     http://www.anpof.org.br/anpof/grupos/index.php?id=270


     Aims and scope:
     = = = = = = = = = = = = = = = = = = = ==

     Contemporary modal logic, officially born in 1932, received a
powerful impulse in the Sixties with the development of so-called
relational semantics. After this important turn modal logic underwent
a constant, and indeed impressive, progress passing through a
specialized analysis of different concepts of necessity and
possibility and giving rise to such branches as tense logic, epistemic
logic, deontic logic, dynamic logic and so on.

     The last step of this development has been provided by the growth
of multimodal logics, i.e. of logics whose language contains more than
one primitive modal operator and whose axioms define the logical
properties of each one of them along with their interaction.
Multimodal logic has already reached interesting results in the
abstract analysis of the properties of multimodal systems. As a matter
of fact, multimodal logic is not a new branch of modal logic but
rather a new way to study modal notions by using a more general and
deep approach, akin to the spirit of Universal Logic.

     The aim of this session is to collect contributions to the field
of multimodal logic. A wide number of subjects may be treated in this
realm. Topics regarded as being of special interest are the following:

     - Temporal logics

     - Logics of physical modalities

     - Epistemic-doxastic logics

     - Multimodal analysis of conditionality

     - Topological logics

     - Multimodal systems of mathematical provability

     - Multimodal systems with non-classical propositional basis

     - Combinations of (multi)modal systems

     - Incompleteness of multimodal systems

     - Decision procedures for multimodal systems

     - New semantics and proof methods for (multi)modal systems

     - Multimodal quantified logics

     - Modal treatments of quantification

     - Abstract properties of multimodal systems