Modal logic S4 as a paraconsistent logic with a topological semantics

MaRDI QIDQ5224788zbMATH OpenFDO

Authors Marcelo E. Coniglio, Leonardo Prieto Sanabria

Publication date 24 July 2019

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Paraconsistent logics (03B53)

Recommendations

• Paraconsistent logic from a modal viewpoint
• Paraconsistent modal logic
• Dynamic topological S5
• scientific article; zbMATH DE number 6863636
• Paraconsistency, self-extensionality, modality

Cited in

(12)

• Propositional quantification in the topological semantics for S4
• Topological separation principles and logical theories
• Path calculus in the modal logic S4
• Paraconsistent double negation as a modal operator
• Some topological properties of paraconsistent models
• Paraconsistent logics included in Lewis' S4
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Wigner and friends, a map is not the territory! Contextuality in multi-agent paradoxes
• New paraconsistent modal logics based on rough modus ponens rules and their interrelations
• Semantical investigations on non-classical logics with recovery operators: negation
• Intuitionistic \textsf{S4} as a logic of topological spaces
• Nested sequent calculi for some modal logics with non-standard modalities

This page was built for publication: Modal logic S4 as a paraconsistent logic with a topological semantics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q5224788)