Frame constructions, truth invariance and validity preservation in many-valued modal logic

DOI10.3166/jancl.15.367-388zbMath1185.03029OpenAlexW2045773529MaRDI QIDQ3647234

Pantelis E. Eleftheriou, Costas D. Koutras

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.3166/jancl.15.367-388

zbMATH Keywords

canonical extensionsmany-valued modal logicframe/model theory

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50)

Related Items (3)

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 ⋮ A Duality for Algebras of Lattice-Valued Modal Logic

Cites Work

• Unnamed Item
• Unnamed Item
• Tableaus for many-valued modal logic
• Varieties of complex algebras
• On the Unusual Effectiveness of Logic in Computer Science
• A Catalog ofWeak Many-Valued Modal Axioms and their Corresponding Frame Classes
• Canonical modal logics and ultrafilter extensions
• Many-valued reflexive autoepistemic logic
• Algebraic polymodal logic: a survey

This page was built for publication: Frame constructions, truth invariance and validity preservation in many-valued modal logic