Tableaus for many-valued modal logic
From MaRDI portal
Publication:1896755
DOI10.1007/BF01053032zbMath0837.03017OpenAlexW2064387576MaRDI QIDQ1896755
Publication date: 11 September 1995
Published in: Studia Logica (Search for Journal in Brave)
Full work available at URL: https://doi.org/10.1007/bf01053032
Modal logic (including the logic of norms) (03B45) Cut-elimination and normal-form theorems (03F05) Many-valued logic (03B50)
Related Items (11)
\(q\)-bilattices ⋮ Extending maps to profinite completions in finitely generated quasivarieties ⋮ Propositional dynamic logic for searching games with errors ⋮ 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 ⋮ Categorical study for algebras of Fitting's lattice-valued logic and lattice-valued modal logic ⋮ How true it is = who says it's true ⋮ 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
This page was built for publication: Tableaus for many-valued modal logic