A dichotomy for some elementarily generated modal logics

DOI10.1007/S11225-015-9611-6zbMATH Open1373.03023arXiv1406.5700OpenAlexW1971906575MaRDI QIDQ497429FDOQ497429

Stanislav Kikot

Publication date: 24 September 2015

Published in: Studia Logica (Search for Journal in Brave)

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.

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

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

zbMATH Keywords

modal definabilityKripke framesfinite axiomatizabilitycanonical axiomatizabilitySalhqvist formulas

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (8)

• Every world can see a Sahlqvist world
• Hybrid formulas and elementarily generated modal logics
• Notes on modal definability
• Title not available (Why is that?)
• Title not available (Why is that?)
• 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)