A dichotomy for some elementarily generated modal logics

DOI10.1007/S11225-015-9611-6MaRDI QIDQ497429zbMATH OpenOpenAlexFDO

Authors Stanislav Kikot

Publication date 24 September 2015

Published in Studia Logica (Search for Journal in Brave)

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

zbMATH Keywords

modal definabilityKripke framesfinite axiomatizabilitycanonical axiomatizabilitySalhqvist formulas

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Abstract: In this paper we consider the normal modal logics of elementary classes defined by first-order formulas of the form $$. We prove that many properties of these logics, such as finite axiomatisability, elementarity, axiomatisability by a set of canonical formulas or by a single generalised Sahlqvist formula, together with modal definability of the initial formula, either simultaneously hold or simultaneously do not hold.

Recommendations

• Hybrid formulas and elementarily generated modal logics
• A generalization of modal frame definability
• scientific article; zbMATH DE number 757642
• Some characterization and preservation theorems in modal logic
• Notes on modal definability

Cites work

• scientific article; zbMATH DE number 3685452 (Why is no real title available?)
• scientific article; zbMATH DE number 1735886 (Why is no real title available?)
• scientific article; zbMATH DE number 1489632 (Why is no real title available?)
• scientific article; zbMATH DE number 757642 (Why is no real title available?)
• scientific article; zbMATH DE number 2196605 (Why is no real title available?)
• An extension of Kracht's theorem to generalized Sahlqvist formulas
• An undecidable problem in correspondence theory
• Bare canonicity of representable cylindric and polyadic algebras
• Canonical varieties with no canonical axiomatisation
• Decidable elementary modal logics
• Elementary canonical formulae: extending Sahlqvist's theorem
• Every world can see a Sahlqvist world
• Every world can see a reflexive world
• Hybrid formulas and elementarily generated modal logics
• Islands of tractability for relational constraints: towards dichotomy results for the description logic \({\mathcal{EL}}\)
• Many-dimensional modal logics: theory and applications
• Modal definability of first-order formulas with free variables and query answering
• Modal formulas are either elementary or not ΣΔ-elementary
• Modal logic
• Model theory.
• On axiomatising products of Kripke frames. II
• On the complexity of elementary modal logics
• On the complexity of modal axiomatisations over many-dimensional structures
• Products of modal logics, part 1
• The McKinsey-Lemmon logic is barely canonical
• The truth about algorithmic problems in correspondence theory
• Tools and techniques in modal logic

Cited in

(8)

• Every world can see a Sahlqvist world
• Hybrid formulas and elementarily generated modal logics
• Notes on modal definability
• scientific article; zbMATH DE number 4075020 (Why is no real title available?)
• scientific article; zbMATH DE number 2149469 (Why is no real title available?)
• Canonical extensions and ultraproducts of polarities
• Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations
• Elementary canonical formulae: a survey on syntactic, algorithmic, and model-theoretic aspects

This page was built for publication: A dichotomy for some elementarily generated modal logics

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q497429)