Tree-like constructions in topology and modal logic
| Authors |
|
|---|---|
| Publication date | 05-2021 |
| Journal | Archive for Mathematical Logic |
| Volume | Issue number | 60 | 3-4 |
| Pages (from-to) | 265–299 |
| Organisations |
|
| Abstract | Within ZFC, we develop a general technique to topologize trees that provides a uniform approach to topological completeness results in modal logic with respect to zero-dimensional Hausdorff spaces. Embeddings of these spaces into well-known extremally disconnected spaces then gives new completeness results for logics extending S4.2. |
| Document type | Article |
| Language | English |
| Published at | https://doi.org/10.1007/s00153-020-00743-6 |
| Downloads |
Tree-like constructions in topology and modal logic SV
(Submitted manuscript)
|
| Permalink to this page | |