Modal logic S4 as a paraconsistent logic with a topological semantics

MaRDI QIDQ5224788zbMATHFDO

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

(7)

• Propositional quantification in the topological semantics for \(\mathbf S4\)
• Paraconsistent double negation as a modal operator
• LOGICS OF FORMAL INCONSISTENCY ENRICHED WITH REPLACEMENT: AN ALGEBRAIC AND MODAL ACCOUNT
• Path calculus in the modal logic S4
• Topological separation principles and logical theories
• Paraconsistent logics included in Lewis' S4
• Some topological properties of paraconsistent models

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)