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.
    We study the measure semantics for propositional modal logics, in which formulas are interpreted in theLebesgue measure algebra${\cal M}$, or algebra of Borel subsets of the real interval [0,1] modulo sets of measure zero. It was shown in Lando (2012) and Fernández-Duque (2010) that the propositional modal logicS4 is complete for the Lebesgue measure algebra. The main result of the present paper is that every logicL aboveS4 is complete for some subalgebra of${\cal M}$. Indeed, there is a single model over (...)
    Download  
     
    Export citation  
     
    Bookmark