Logic List Mailing Archive

CfP, special issue of Logica Universalis on "Multimodal Logics"

Multimodal Logics- Special issue of Logica Universalis

      http://www.birkhauser.ch/LU

** CALL FOR CONTRIBUTIONS **
- Ocultar texto das mensagens anteriores -

** Deadline: Friday, December 17th, 2010 **


Editors: Walter Carnielli
(Centre for Logic, Epistemology and the History of Science ? CLE
and Dept. of  Philosophy, UNICAMP, Campinas, SP, Brazil)


and

Claudio Pizzi
(Dept. of  Philosophy and Social Sciences, University of Siena, Siena, Italy
and Centre for Logic, Epistemology and the History of Science ,UNICAMP,
Campinas, SP, Brazil)

Contemporary modal logic, born in the  Thirties,  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. 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, considered as  a general theory of logical
structures.

Following the World Congress and School on Universal Logic III (UNILOG
2010)  held  Monte Estoril,  Cascais, Portugal in  April 2010, we  are
inviting  submissions to the field of multimodal logic, with special
emphasis on the
aspects of  universal logic as  described  e.g. in

Beziau, J.-Y. (2007). From consequence operator to universal logic: a survey
of general abstract logic. In Logica Universalis, pp. 3-17.

We would expect the submissions to be  concentrating (although not
exclusively)  on the following topics, always with  emphasis  on universal
logic:

-  Temporal logics
-  Logics of physical modalities
-  Epistemic-doxastic logics
-  Dynamic logics
  - Modalities of  desire and  action
-  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
-  Philosophical aspects of modalities
-  Decision procedures for multimodal systems
-  New semantics and proof methods for (multi)modal systems
-  Multimodal quantified logics
- Modal treatments of quantification
- Computational complexity of modalities

Submissions are not restricted to the participants  of UNILOG 2010.

Please send a Latex formatted file plus  PDF to:

Walter Carnielli <walter.carnielli@cle.unicamp.br>
and
Claudio Pizzi <pizzic@msn.com>

============================