Scattered and hereditarily irresolvable spaces in modal logic
From MaRDI portal
Publication:964455
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
modal logic; scattered spaces; Grzegorczyk logic; Gödel-Löb logic; topological completeness; hereditarily irresolvable spaces; ordinal complete extensions
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, Tree-like constructions in topology and modal logic
Cites Work
- 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
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item