An extension of Kracht's theorem to generalized Sahlqvist formulas

DOI10.3166/JANCL.19.227-251zbMath1187.03018arXiv1003.2603OpenAlexW2043712106MaRDI QIDQ3647298

Stanislav Kikot

Publication date: 30 November 2009

Published in: Journal of Applied Non-Classical Logics (Search for Journal in Brave)

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

zbMATH Keywords

modal logicfirst-order definabilitySahlqvist formulasKracht formulassafe expressions

Mathematics Subject Classification ID

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

Related Items (3)

Modal definability of first-order formulas with free variables and query answering ⋮ A dichotomy for some elementarily generated modal logics ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations

Uses Software

• SQEMA

Cites Work

• Mackey topologies and mixed topologies in Riesz spaces
• Many-dimensional modal logics: theory and applications
• Hybrid formulas and elementarily generated modal logics
• Elementary canonical formulae: extending Sahlqvist's theorem
• On axiomatising products of Kripke frames

This page was built for publication: An extension of Kracht's theorem to generalized Sahlqvist formulas