A dichotomy for some elementarily generated modal logics

DOI10.1007/s11225-015-9611-6zbMath1373.03023arXiv1406.5700OpenAlexW1971906575MaRDI QIDQ497429

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

Kripke framesfinite axiomatizabilitymodal definabilitycanonical axiomatizabilitySalhqvist formulas

Mathematics Subject Classification ID

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

Related Items (2)

Canonical extensions and ultraproducts of polarities ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

Cites Work

• Bare canonicity of representable cylindric and polyadic algebras
• Model theory.
• Tools and techniques in modal logic
• Many-dimensional modal logics: theory and applications
• Hybrid formulas and elementarily generated modal logics
• Modal definability of first-order formulas with free variables and query answering
• Elementary canonical formulae: extending Sahlqvist's theorem
• Every world can see a reflexive world
• Decidable Elementary Modal Logics
• An extension of Kracht's theorem to generalized Sahlqvist formulas
• An undecidable problem in correspondence theory
• Modal formulas are either elementary or not ΣΔ-elementary
• Products of modal logics, part 1
• Canonical varieties with no canonical axiomatisation
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

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