Frame constructions, truth invariance and validity preservation in many-valued modal logic
From MaRDI portal
Publication:3647234
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
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