Combination of Logics

Alexandre Costa-Leite

Swiss National Science Foundation
University of Neuchâtel - Switzerland






Methods for combining logics have a lot of different applications in computer science, linguistics and philosophy. The purpose of this tutorial is to describe some of the most important methods for combining logics: fusions, products, temporalization, paraconsistentization and fibring. We explain each method from the proof-theoretical and model-theoretical point of view in order to clarify its preservation properties. Some concrete combined systems are presented and some cases of applications are studied.


References:

C. Caleiro, C. Sernadas, and A. Sernadas. Mechanisms for combining logics. Research report, Department of Mathematics, Instituto Superior Técnico, Lisboa, Portugal, (1999).

D.Gabbay, A.Kurucz, F.Wolter and M.Zakharyaschev. Many-dimensional modal logics - Theory and applications. (Studies in Logic and the Foundations of Mathematics. (148), Elsevier. (2003)

D. Gabbay. Fibring Logics. Oxford University Press. (1999)