Tableaus for many-valued modal logic
From MaRDI portal
Publication:1896755
DOI10.1007/BF01053032zbMath0837.03017MaRDI QIDQ1896755
Publication date: 11 September 1995
Published in: Studia Logica (Search for Journal in Brave)
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