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 Benthem et al show that S4 ⊕ S4 is the bimodal logic of the particular product space Q × Q, leaving open the question of whether S4 ⊕ S4 is also complete for the product space R × R. We answer this question in the negative.
|Keywords||No keywords specified (fix it)|
|Categories||categorize this paper)|
References found in this work BETA
No references found.
Citations of this work BETA
No citations found.
Similar books and articles
Embedding Logics Into Product Logic.Matthias Baaz, Petr Hájek, David Švejda & Jan Krajíček - 1998 - Studia Logica 61 (1):35-47.
Products of Modal Logics. Part 3: Products of Modal and Temporal Logics.Dov Gabbay & Valentin Shehtman - 2002 - Studia Logica 72 (2):157-183.
Products of 'Transitive' Modal Logics.David Gabelaia, Agi Kurucz, Frank Wolter & Michael Zakharyaschev - 2005 - Journal of Symbolic Logic 70 (3):993-1021.
An Elementary Construction for a Non-Elementary Procedure.Maarten Marx & Szabolcs Mikulás - 2002 - Studia Logica 72 (2):253-263.
Multimodal Logics of Products of Topologies.J. Van Benthem, G. Bezhanishvili, B. Ten Cate & D. Sarenac - 2006 - Studia Logica 84 (3):369 - 392.
Multimo Dal Logics of Products of Topologies.J. van Benthem, G. Bezhanishvili, Cate B. ten & D. Sarenac - 2006 - Studia Logica 84 (3):369-392.
Matching Topological and Frame Products of Modal Logics.Philip Kremer - 2016 - Studia Logica 104 (3):487-502.
Added to index2009-01-28
Total downloads21 ( #239,927 of 2,178,269 )
Recent downloads (6 months)1 ( #316,623 of 2,178,269 )
How can I increase my downloads?