Modal definability based on Łukasiewicz validity relations

DOI10.1007/S11225-015-9643-YzbMATH Open1396.03037arXiv1502.03299OpenAlexW2132248541MaRDI QIDQ284231FDOQ284231

Bruno Teheux

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

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

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)

Cites Work

• 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
• Title not available (Why is that?)
• 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)

• Title not available (Why is that?)
• Frame definability in finitely valued modal logics
• Title not available (Why is that?)

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)