Modal definability based on Łukasiewicz validity relations

DOI10.1007/S11225-015-9643-YMaRDI QIDQ284231zbMATH OpenOpenAlexFDO

Authors Bruno Teheux

Publication date 17 May 2016

Published in Studia Logica (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1502.03299

zbMATH Keywords

many-valued logicmodal logicrelational semanticsGoldblatt-Thomason theoremKripke semanticsmodal definabilityŁukasiewicz logic

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Many-valued logic (03B50) Interpolation, preservation, definability (03C40)

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.

Recommendations

• Towards a generalization of modal definability
• ON DEFINABILITY IN MULTIMODAL LOGIC
• Existential definability of modal frame classes
• A generalization of modal frame definability
• scientific article; zbMATH DE number 1749143

Cites work

• scientific article; zbMATH DE number 3508462 (Why is no real title available?)
• A New Proof of the Completeness of the Lukasiewicz Axioms
• A theorem about infinite-valued sentential logic
• Algebraic Analysis of Many Valued Logics
• Algebraic foundations of many-valued reasoning
• Bounded distributive lattice expansions
• Canonical modal logics and ultrafilter extensions
• Many-Valued Modal Propositional Calculi
• Modal logic
• Model theory.
• Natural dualities for varieties of MV-algebras. I
• On the Minimum Many-Valued Modal Logic over a Finite Residuated Lattice
• Polymodal Lattices and Polymodal Logic
• Propositional dynamic logic for searching games with errors
• Simulating polyadic modal logics by monadic ones
• Varieties of complex algebras

Cited in

(5)

• scientific article; zbMATH DE number 3559522 (Why is no real title available?)
• Frame definability in finitely valued modal logics
• On definability of connectives and modal logics over \textbf{FDE}
• Implicit definability of truth constants in Łukasiewicz logic
• scientific article; zbMATH DE number 7056228 (Why is no real title available?)

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)