The Incompleteness of S4 {bigoplus} S4 for the Product Space

Studia Logica 103 (1):219-226 (2015)
  Copy   BIBTEX


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 , leaving open the question of whether S4 \ S4 is also complete for the product space . We answer this question in the negative



    Upload a copy of this work     Papers currently archived: 74,174

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

Similar books and articles

Two Topological Equivalents of the Axiom of Choice.Eric Schechter & E. Schechter - 1992 - Mathematical Logic Quarterly 38 (1):555-557.
Dynamic Topological Logic.Philip Kremer & Grigori Mints - 2005 - Annals of Pure and Applied Logic 131 (1-3):133-158.
Dynamic Topological S5.Philip Kremer - 2009 - Annals of Pure and Applied Logic 160 (1):96-116.
Dynamic Measure Logic.Tamar Lando - 2012 - Annals of Pure and Applied Logic 163 (12):1719-1737.
Hybrid Logics of Separation Axioms.Dmitry Sustretov - 2009 - Journal of Logic, Language and Information 18 (4):541-558.
The Modal Logic of Continuous Functions on Cantor Space.Philip Kremer - 2006 - Archive for Mathematical Logic 45 (8):1021-1032.


Added to PP

13 (#759,612)

6 months
1 (#413,740)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Philip Kremer
University of Toronto at Scarborough

Citations of this work

On Neighbourhood Product of Some Horn Axiomatizable Logics.Andrey Kudinov - 2018 - Logic Journal of the IGPL 26 (3):316-338.

Add more citations