Scattered and hereditarily irresolvable spaces in modal logic

DOI10.1007/s00153-010-0175-xzbMath1196.03031MaRDI QIDQ964455

Patrick J. Morandi, Guram Bezhanishvili

Publication date: 15 April 2010

Published in: Archive for Mathematical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s00153-010-0175-x

zbMATH Keywords

modal logic; scattered spaces; Grzegorczyk logic; Gödel-Löb logic; topological completeness; hereditarily irresolvable spaces; ordinal complete extensions

Mathematics Subject Classification ID

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

54G12: Scattered spaces

Related Items

STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES, Topological Interpretations of Provability Logic, Modal logics of Stone spaces, The d-logic of the rational numbers: a fruitful construction, On modal logics arising from scattered locally compact Hausdorff spaces, More on \(d\)-logics of subspaces of the rational numbers, The polytopologies of transfinite provability logic, Group-theoretic and topological invariants of completely integrally closed Prüfer domains

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Some results on modal axiomatization and definability for topological spaces
• Scattered, Hausdorff-reducible, and hereditarily irresolvable spaces.
• Euclidean hierarchy in modal logic
• A problem of set-theoretic topology
• Infinitary combinatorics and modal logic