Combining logics

Stanford Encyclopedia of Philosophy (2008)
  Copy   BIBTEX

Abstract

Although a very recent topic in contemporary logic, the subject of combinations of logics has already shown its deep possibilities. Besides the pure philosophical interest offered by the possibility of defining mixed logic systems in which distinct operators obey logics of different nature, there are also several pragmatical and methodological reasons for considering combined logics. We survey methods for combining logics (integration of several logic systems into a homogeneous environment) as well as methods for decomposing logics, showing their interesting properties and applications.

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 91,271

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Analytics

Added to PP
2009-01-28

Downloads
51 (#301,723)

6 months
7 (#382,198)

Historical graph of downloads
How can I increase my downloads?

Author Profiles

Marcelo E. Coniglio
University of Campinas
Walter Carnielli
University of Campinas

Citations of this work

Human Foreknowledge.Fabrizio Cariani - 2021 - Philosophical Perspectives 35 (1):50-69.
A Multimodal Pragmatic Treatment of the Knowability Paradox.Massimiliano Carrara, Daniele Chiffi & Davide Sergio - 2017 - In Gillman Payette & Rafal Urbaniak (eds.), Applications of Formal Philosophy. The Road Less Travelled. Berlin: Springer International Publishing AG. pp. 195-209.
Pluralismo, Monismo e Relativismo Lógico.Diogo Dias - 2018 - Revista de Filosofia Moderna E Contemporânea 6 (2):21-36.

Add more citations

References found in this work

Two-dimensional modal logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
The autonomy of ethics.A. N. Prior - 1960 - Australasian Journal of Philosophy 38 (3):199 – 206.
The semantic foundations of logic.Richard L. Epstein - 1994 - New York: Oxford University Press.
The two-valued iterative systems of mathematical logic.Emil Leon Post - 1941 - London,: H. Milford, Oxford university press.
Properties of independently axiomatizable bimodal logics.Marcus Kracht & Frank Wolter - 1991 - Journal of Symbolic Logic 56 (4):1469-1485.

View all 45 references / Add more references