Switch to: References

Add citations

You must login to add citations.
  1. Topology and measure in logics for region-based theories of space.Tamar Lando - 2018 - Annals of Pure and Applied Logic 169 (4):277-311.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • Tree-like constructions in topology and modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. Van Mill - 2020 - Archive for Mathematical Logic 60 (3):265-299.
    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.
    No categories
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation