9 found
Order:
  1.  12
    Krull Dimension in Modal Logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2017 - Journal of Symbolic Logic 82 (4):1356-1386.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  2.  18
    Modal Logics of Metric Spaces.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Review of Symbolic Logic 8 (1):178-191.
  3.  8
    On Modal Logics Arising From Scattered Locally Compact Hausdorff Spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  4.  17
    More on D-Logics of Subspaces of the Rational Numbers.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Notre Dame Journal of Formal Logic 53 (3):319-345.
    We prove that each countable rooted K4 -frame is a d-morphic image of a subspace of the space $\mathbb{Q}$ of rational numbers. From this we derive that each modal logic over K4 axiomatizable by variable-free formulas is the d-logic of a subspace of $\mathbb{Q}$ . It follows that subspaces of $\mathbb{Q}$ give rise to continuum many d-logics over K4 , continuum many of which are neither finitely axiomatizable nor decidable. In addition, we exhibit several families of modal logics finitely axiomatizable (...)
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   2 citations  
  5.  7
    Topological Completeness of Logics Above S4.Guram Bezhanishvili, David Gabelaia & Joel Lucero-Bryan - 2015 - Journal of Symbolic Logic 80 (2):520-566.
  6.  16
    Subspaces of Whose D-Logics Do Not Have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - forthcoming - Archive for Mathematical Logic.
    Direct download  
     
    Export citation  
     
    Bookmark  
  7.  2
    Tychonoff Hed-Spaces and Zemanian Extensions of S4.3.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2018 - Review of Symbolic Logic 11 (1):115-132.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  8.  11
    Subspaces of {Mathbb{Q}} Whose D-Logics Do Not Have the FMP.Guram Bezhanishvili & Joel Lucero-Bryan - 2012 - Archive for Mathematical Logic 51 (5-6):661-670.
    We show that subspaces of the space ${\mathbb{Q}}$ of rational numbers give rise to uncountably many d-logics over K4 without the finite model property.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark  
  9.  4
    The D-Logic of the Rational Numbers: A Fruitful Construction.Joel Lucero-Bryan - 2011 - Studia Logica 97 (2):265-295.
    We present a geometric construction that yields completeness results for modal logics including K4, KD4, GL and GL n with respect to certain subspaces of the rational numbers. These completeness results are extended to the bimodal case with the universal modality.
    Direct download (4 more)  
     
    Export citation  
     
    Bookmark   1 citation