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

(7)

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

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)