Switch to: References

Add citations

You must login to add citations.
  1. 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.
    Download  
     
    Export citation  
     
    Bookmark   1 citation  
  • Logics above s4 and the lebesgue measure algebra.Tamar Lando - 2017 - Review of Symbolic Logic 10 (1):51-64.
    Download  
     
    Export citation  
     
    Bookmark