Scattered and hereditarily irresolvable spaces in modal logic
From MaRDI portal
Publication:964455
DOI10.1007/s00153-010-0175-xzbMath1196.03031OpenAlexW2155298667MaRDI 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 logicscattered spacesGrzegorczyk logicGödel-Löb logictopological completenesshereditarily irresolvable spacesordinal complete extensions
Related Items (9)
Group-theoretic and topological invariants of completely integrally closed Prüfer domains ⋮ Tree-like constructions in topology and modal logic ⋮ The d-logic of the rational numbers: a fruitful construction ⋮ Modal logics of Stone spaces ⋮ The polytopologies of transfinite provability logic ⋮ On modal logics arising from scattered locally compact Hausdorff spaces ⋮ More on \(d\)-logics of subspaces of the rational numbers ⋮ STRONG COMPLETENESS OF PROVABILITY LOGIC FOR ORDINAL SPACES ⋮ Topological Interpretations of Provability 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
This page was built for publication: Scattered and hereditarily irresolvable spaces in modal logic