*CHAMADA DE TRABALHOS* Sessão especial sobre "Multimodal Logics"
= = = = = = = = = = = = == = = = = = = = == = *Submissão de resumos até 15 de outubro de 2009* = = = = = = = = = = = = == = = = = = = = == = http://www.uni-log.org/start3.html 3rd World Congress and School on Universal Logic Lisboa, Portugal, 18-25 de abril de 2010 Organizadores: Walter Carnielli (CLE-UNICAMP e IFCH ) e Claudio Pizzi (Universidade de Siena, Itália) Co-patrocinada por: Sociedade Brasileria de Lógica http://www.cle.unicamp.br/sbl/ GT Lógica ANPOF http://www.anpof.org.br/anpof/grupos/index.php?id=270 Descrição: = = = = = = = = = = = = = = = = = = = == 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 -- +++++++++++++++++++++++++++++++++++++++++++++++++ Walter Carnielli Centre for Logic, Epistemology and the History of Science – CLE State University of Campinas –UNICAMP P.O. Box 6133 13083-970 Campinas -SP, Brazil Phone: (+55) (19) 3788-6519 Fax: (+55) (19) 3289-3269 e-mail: [email protected] Website: http://www.cle.unicamp.br/prof/carnielli _______________________________________________ Logica-l mailing list [email protected] http://www.dimap.ufrn.br/cgi-bin/mailman/listinfo/logica-l
