Tableaus for many-valued modal logic

DOI10.1007/BF01053032zbMath0837.03017MaRDI QIDQ1896755

Melvin Fitting

Publication date: 11 September 1995

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

Kripke semantics; cut-free tableau; many-valued accessibility relations

Mathematics Subject Classification ID

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

03F05: Cut-elimination and normal-form theorems

03B50: Many-valued logic

Related Items

How true it is = who says it's true, A duality for the algebras of a Łukasiewicz \(n+1\)-valued modal system, MANY-VALUED MODAL LOGICS: A SIMPLE APPROACH, Algebraic Study of Lattice-Valued Logic and Lattice-Valued Modal Logic, A Duality for Algebras of Lattice-Valued Modal Logic, A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes, Frame constructions, truth invariance and validity preservation in many-valued modal logic

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Proof methods for modal and intuitionistic logics
• Some modal logics based on a three-valued logic
• Possible worlds and many truth values
• A uniform tableau method for intuitionistic modal logics. I
• Many-valued modal logics: Uses and predicate calculus
• Many-Valued Modal Propositional Calculi
• Destructive Modal Resolution
• Some Modal Logics based on a Three‐valued Logic