Scattered and hereditarily irresolvable spaces in modal logic

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

zbMATH Keywords

modal logicscattered spacesGrzegorczyk logicGödel-Löb logictopological completenesshereditarily irresolvable spacesordinal complete extensions

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Scattered spaces (54G12)

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