Switch to: References

Add citations

You must login to add citations.
  1. Products of infinitely many modal logics.Yasusi Hasimoto - 2002 - Bulletin of the Section of Logic 31 (2):103-110.
    Download  
     
    Export citation  
     
    Bookmark  
  • Canonical Filtrations and Local Tabularity.Valentin Shehtman - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 498-512.
    Download  
     
    Export citation  
     
    Bookmark   2 citations  
  • Filtration Safe Operations on Frames.Stanislav Kikot, Ilya Shapriovsky & Evgeny Zolin - 2014 - In Rajeev Goré, Barteld Kooi & Agi Kurucz (eds.), Advances in Modal Logic, Volume 10. CSLI Publications. pp. 333-352.
    Download  
     
    Export citation  
     
    Bookmark  
  • The incompleteness of s4 ⊕ s4 for the product space R × R.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. Indeed, van (...)
    Download  
     
    Export citation  
     
    Bookmark   4 citations  
  • Local tabularity without transitivity.Ilya Shapirovsky & Valentin Shehtman - 2016 - In Lev Beklemishev, Stéphane Demri & András Máté (eds.), Advances in Modal Logic, Volume 11. CSLI Publications. pp. 520-534.
    Download  
     
    Export citation  
     
    Bookmark