Hybrid formulas and elementarily generated modal logics
From MaRDI portal
Publication:2372681
DOI10.1305/ndjfl/1168352661zbMath1211.03036MaRDI QIDQ2372681
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
03B45: Modal logic (including the logic of norms)
Related Items
A dichotomy for some elementarily generated modal logics, Axiomatizing hybrid logic using modal logic, Canonical extensions: an algebraic approach to Stone duality, Non-finitely axiomatisable modal product logics with infinite canonical axiomatisations, THE BOUNDED FRAGMENT AND HYBRID LOGIC WITH POLYADIC MODALITIES, An extension of Kracht's theorem to generalized Sahlqvist formulas