Tableaus for many-valued modal logic

DOI10.1007/BF01053032zbMath0837.03017OpenAlexW2064387576MaRDI QIDQ1896755

Melvin Fitting

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

zbMATH Keywords

Kripke semanticscut-free tableaumany-valued accessibility relations

Mathematics Subject Classification ID

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