MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH

DOI10.1017/S1755020308080179zbMath1206.03022WikidataQ29026255 ScholiaQ29026255MaRDI QIDQ3580668

Graham Priest

Publication date: 13 August 2010

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

zbMATH Keywords

modal logic; proof theory; many-valued logics; future contingents; first-degree entailment

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03A05: Philosophical and critical aspects of logic and foundations

03B50: Many-valued logic

Related Items

Unnamed Item, Useful Four-Valued Extension of the Temporal Logic KtT4, \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics, A family of Gödel hybrid logics, Disentangling \textsf{FDE}-based paraconsistent modal logics, A completeness theorem for continuous predicate modal logic, Expressivity in chain-based modal logics, Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators, Decidability of order-based modal logics, Retracted article: ``A completeness theorem for continuous predicate modal logic, The lattice of Belnapian modal logics: Special extensions and counterparts

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Possible worlds and many truth values
• Metamathematics of fuzzy logic
• Local and global operators and many-valued modal logics
• Tableaus with invertible rules for many-valued modal propositional logics
• Tableaus for many-valued modal logic
• Many-valued modal logics: Uses and predicate calculus
• Many-Valued Modal Propositional Calculi
• Some Modal Logics based on a Three‐valued Logic