A modal reduction for partial logic

DOI10.1007/BF01052534zbMath0781.03009MaRDI QIDQ2366529

Juan Barba

Publication date: 17 February 1994

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

zbMATH Keywords

modal logicfour-valued logicthree-valued logicpartial logicS4incoherenceMcKinsey's axiompartial information logicS4.1

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Many-valued logic (03B50) Paraconsistent logics (03B53)

Related Items (1)

Displaying the modal logic of consistency

Cites Work

• Intuitive semantics for first-degree entailments and `coupled trees'
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: A modal reduction for partial logic