Switch to: References

Add citations

You must login to add citations.
  1. Polyhedral Completeness of Intermediate Logics: The Nerve Criterion.Sam Adam-day, Nick Bezhanishvili, David Gabelaia & Vincenzo Marra - 2024 - Journal of Symbolic Logic 89 (1):342-382.
    We investigate a recently devised polyhedral semantics for intermediate logics, in which formulas are interpreted in n-dimensional polyhedra. An intermediate logic is polyhedrally complete if it is complete with respect to some class of polyhedra. The first main result of this paper is a necessary and sufficient condition for the polyhedral completeness of a logic. This condition, which we call the Nerve Criterion, is expressed in terms of Alexandrov’s notion of the nerve of a poset. It affords a purely combinatorial (...)
    Download  
     
    Export citation  
     
    Bookmark  
  • Topological Completeness of Logics Above S4.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Journal of Symbolic Logic 80 (2):520-566.
    It is a celebrated result of McKinsey and Tarski [28] thatS4is the logic of the closure algebraΧ+over any dense-in-itself separable metrizable space. In particular,S4is the logic of the closure algebra over the realsR, the rationalsQ, or the Cantor spaceC. By [5], each logic aboveS4that has the finite model property is the logic of a subalgebra ofQ+, as well as the logic of a subalgebra ofC+. This is no longer true forR, and the main result of [5] states that each connected (...)
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • 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