Modal logic S4 as a paraconsistent logic with a topological semantics

In Carlos Caleiro, Francisco Dionisio, Paula Gouveia, Paulo Mateus & João Rasga (eds.), Logic and Computation: Essays in Honour of Amilcar Sernadas. London, UK: College Publications. pp. 171-196 (2017)
  Copy   BIBTEX

Abstract

In this paper the propositional logic LTop is introduced, as an extension of classical propositional logic by adding a paraconsistent negation. This logic has a very natural interpretation in terms of topological models. The logic LTop is nothing more than an alternative presentation of modal logic S4, but in the language of a paraconsistent logic. Moreover, LTop is a logic of formal inconsistency in which the consistency and inconsistency operators have a nice topological interpretation. This constitutes a new proof of S4 as being "the logic of topological spaces", but now under the perspective of paraconsistency.

Links

PhilArchive

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

Some Connections between Topological and Modal Logic.Kurt Engesser - 1995 - Mathematical Logic Quarterly 41 (1):49-64.
Dynamic topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
The topology of justification.Sergei Artemov & Elena Nogina - 2008 - Logic and Logical Philosophy 17 (1-2):59-71.
Paraconsistency Everywhere.Greg Restall - 2002 - Notre Dame Journal of Formal Logic 43 (3):147-156.
Dynamic topological logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic topological logic.Philip Kremer & Giorgi Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Nearly every normal modal logic is paranormal.Joao Marcos - 2005 - Logique Et Analyse 48 (189-192):279-300.

Analytics

Added to PP
2017-07-15

Downloads
361 (#50,770)

6 months
81 (#46,778)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Marcelo E. Coniglio
University of Campinas

Citations of this work

No citations found.

Add more citations

References found in this work

Theory of Logical Calculi: Basic Theory of Consequence Operations.Ryszard Wójcicki - 1988 - Dordrecht, Boston and London: Kluwer Academic Publishers.
Paraconsistent logic from a modal viewpoint.Jean-Yves Béziau - 2005 - Journal of Applied Logic 3 (1):7-14.
Completeness of S4 for the Lebesgue Measure Algebra.Tamar Lando - 2012 - Journal of Philosophical Logic 41 (2):287-316.

Add more references