Switch to: References

Add citations

You must login to add citations.
  1. Neighborhood Semantics for Modal Logic.Eric Pacuit - 2017 - Cham, Switzerland: Springer.
    This book offers a state-of-the-art introduction to the basic techniques and results of neighborhood semantics for modal logic. In addition to presenting the relevant technical background, it highlights both the pitfalls and potential uses of neighborhood models – an interesting class of mathematical structures that were originally introduced to provide a semantics for weak systems of modal logic. In addition, the book discusses a broad range of topics, including standard modal logic results ; bisimulations for neighborhood models and other model-theoretic (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   34 citations  
  • First order S4 and its measure-theoretic semantics.Tamar Lando - 2015 - Annals of Pure and Applied Logic 166 (2):187-218.
    Direct download (3 more)  
     
    Export citation  
     
    Bookmark   12 citations  
  • Topological-Frame Products of Modal Logics.Philip Kremer - 2018 - Studia Logica 106 (6):1097-1122.
    The simplest bimodal combination of unimodal logics \ and \ is their fusion, \, axiomatized by the theorems of \ for \ and of \ for \, and the rules of modus ponens, necessitation for \ and for \, and substitution. Shehtman introduced the frame product \, as the logic of the products of certain Kripke frames: these logics are two-dimensional as well as bimodal. Van Benthem, Bezhanishvili, ten Cate and Sarenac transposed Shehtman’s idea to the topological semantics and introduced (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Quantified intuitionistic logic over metrizable spaces.Philip Kremer - 2019 - Review of Symbolic Logic 12 (3):405-425.
    In the topological semantics, quantified intuitionistic logic, QH, is known to be strongly complete not only for the class of all topological spaces but also for some particular topological spaces — for example, for the irrational line, ${\Bbb P}$, and for the rational line, ${\Bbb Q}$, in each case with a constant countable domain for the quantifiers. Each of ${\Bbb P}$ and ${\Bbb Q}$ is a separable zero-dimensional dense-in-itself metrizable space. The main result of the current article generalizes these known (...)
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark  
  • Completeness of second-order propositional s4 and H in topological semantics.Philip Kremer - 2018 - Review of Symbolic Logic 11 (3):507-518.
    Direct download (2 more)  
     
    Export citation  
     
    Bookmark   1 citation  
  • The topological product of s4 and S.Philip Kremer - unknown
    Shehtman introduced bimodal logics of the products of Kripke frames, thereby introducing frame products of unimodal logics. Van Benthem, Bezhanishvili, ten Cate and Sarenac generalize this idea to the bimodal logics of the products of topological spaces, thereby introducing topological products of unimodal logics. In particular, they show that the topological product of S4 and S4 is S4 ⊗ S4, i.e., the fusion of S4 and S4: this logic is strictly weaker than the frame product S4 × S4. In this (...)
    Direct download  
     
    Export citation  
     
    Bookmark   4 citations