Hybrid formulas and elementarily generated modal logics

DOI10.1305/ndjfl/1168352661zbMath1211.03036OpenAlexW1998378297MaRDI QIDQ2372681

I. M. Hodkinson

Publication date: 1 August 2007

Published in: Notre Dame Journal of Formal Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1305/ndjfl/1168352661

zbMATH Keywords

hybrid logicSahlqvist theoremcanonical modal logicelementary frame class

Mathematics Subject Classification ID

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

Related Items (6)

Axiomatizing hybrid logic using modal logic ⋮ A dichotomy for some elementarily generated modal logics ⋮ Canonical extensions: an algebraic approach to Stone duality ⋮ THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES ⋮ Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations ⋮ An extension of Kracht's theorem to generalized Sahlqvist formulas

This page was built for publication: Hybrid formulas and elementarily generated modal logics