Bezhanishvili, G.

Bezhanishvili, N.

Lucero-Bryan, J.

van Mill, J.

English

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

International Migration, Integration and Social Cohesion online publications

Tree-like constructions in topology and modal logic

https://pure.uva.nl/ws/files/62326464/Tree_like_constructions_in_topology_and_modal_logic_SV.pdf

Tree-like constructions in topology and modal logic

Abstract

Similar works

Full text

Available Versions

International Migration, Integration and Social Cohesion online publications