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 logicproof theorymany-valued logicsfuture contingentsfirst-degree entailment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05) Many-valued logic (03B50)

Related Items

Decidability of order-based modal logics ⋮ Routley star and hyperintensionality ⋮ Useful Four-Valued Extension of the Temporal Logic KtT4 ⋮ Retracted article: ``A completeness theorem for continuous predicate modal logic ⋮ Disentangling \textsf{FDE}-based paraconsistent modal logics ⋮ A family of Gödel hybrid logics ⋮ A completeness theorem for continuous predicate modal logic ⋮ \(\mathbf{BK}\)-lattices. Algebraic semantics for Belnapian modal logics ⋮ The lattice of Belnapian modal logics: Special extensions and counterparts ⋮ Modal and intuitionistic variants of extended Belnap-Dunn logic with classical negation ⋮ Expressivity in chain-based modal logics ⋮ Modal extension of ideal paraconsistent four-valued logic and its subsystem ⋮ Strengthening Brady's paraconsistent 4-valued logic BN4 with truth-functional modal operators ⋮ Non-distributive relatives of ETL and NFL ⋮ Axiomatization of crisp Gödel modal logic ⋮ A general framework for FDE-based modal logics ⋮ On a multilattice analogue of a hypersequent S5 calculus ⋮ Cut-free sequent calculus and natural deduction for the tetravalent modal logic ⋮ Unnamed Item

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

This page was built for publication: MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH