Euclidean hierarchy in modal logic

DOI10.1023/B:STUD.0000009564.00287.16zbMath1034.03020MaRDI QIDQ1419386

Mai Gehrke, Guram Bezhanishvili, J. F. A. K. van Benthem

Publication date: 14 January 2004

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

zbMATH Keywords

modal logicKripke semanticsfinite model propertychequered setEuclidean hierarchyserial setTopo-bisimulation

Mathematics Subject Classification ID

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

Related Items (12)

POLYHEDRAL COMPLETENESS OF INTERMEDIATE LOGICS: THE NERVE CRITERION ⋮ Modal logics of Stone spaces ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ Scattered and hereditarily irresolvable spaces in modal logic ⋮ Connected modal logics ⋮ Completeness of S4 with respect to the real line: revisited ⋮ The modal logic of \({\beta(\mathbb{N})}\) ⋮ A ModalWalk Through Space ⋮ CHARACTERIZING EXISTENCE OF A MEASURABLE CARDINAL VIA MODAL LOGIC ⋮ TOPOLOGICAL COMPLETENESS OF LOGICS ABOVE S4 ⋮ MODAL LOGICS OF METRIC SPACES ⋮ Some results on modal axiomatization and definability for topological spaces

This page was built for publication: Euclidean hierarchy in modal logic