Modal definability based on Łukasiewicz validity relations
From MaRDI portal
Publication:284231
DOI10.1007/S11225-015-9643-YzbMATH Open1396.03037arXiv1502.03299OpenAlexW2132248541MaRDI QIDQ284231FDOQ284231
Publication date: 17 May 2016
Published in: Studia Logica (Search for Journal in Brave)
Abstract: We study two notions of definability for classes of relational structures based on modal extensions of {L}ukasiewicz finitely valued-logics. The main results of the paper are the equivalent of the Goldblatt - Thomason theorem for these notions of definability.
Full work available at URL: https://arxiv.org/abs/1502.03299
many-valued logicmodal logicrelational semanticsGoldblatt-Thomason theoremKripke semanticsmodal definabilityŁukasiewicz logic
Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Interpolation, preservation, definability (03C40)
Cites Work
- Title not available (Why is that?)
- Modal logic
- Algebraic foundations of many-valued reasoning
- Algebraic Analysis of Many Valued Logics
- A New Proof of the Completeness of the Lukasiewicz Axioms
- Model theory.
- Extending maps to profinite completions in finitely generated quasivarieties
- Varieties of complex algebras
- On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
- Simulating polyadic modal logics by monadic ones
- Many-Valued Modal Propositional Calculi
- Canonical modal logics and ultrafilter extensions
- Propositional dynamic logic for searching games with errors
- Bounded distributive lattice expansions
- Polymodal Lattices and Polymodal Logic
- A theorem about infinite-valued sentential logic
- Natural dualities for varieties of MV-algebras. I
Cited In (3)
This page was built for publication: Modal definability based on Łukasiewicz validity relations
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q284231)
