Abstract
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 \({\bigoplus}\) 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 \({\bigoplus}\) S4 is the bimodal logic of the particular product space , leaving open the question of whether S4 \({\bigoplus}\) S4 is also complete for the product space . We answer this question in the negative.
Similar content being viewed by others
References
Gabbay, D. M., A. Kurucz, F. Wolter, and M. Zakharyaschev, Manydimensional modal logics: theory and applications, Studies in Logic and the Foundations of Mathematics, Volume 148, Elsevier, 2003.
Gabbay, D. M., and V. B. Shehtman, Products of modal logics, part 1, Logic Journal of the IGPL 1:73–146, 1998. http://jigpal.oxfordjournals.org/cgi/reprint/6/1/73
Kremer, P., The topological product of S4 and S5, ms. http://individual.utoronto.ca/philipkremer/onlinepapers/TopS4xS5.pdf
Shehtman, V. B., Two-dimensional modal logics (in Russian), Matematicheskie Zametki 23:773–781, 1978. English translation, Mathematical Notes 23:417–424, 1978. http://www.springerlink.com/content/u032125210714g71/ doi:10.1007/BF01789012
van Benthem, J., G. Bezhanishvili, B. ten Cate, and D. Sarenac, Modal logics for products of topologies, ILLC Prepublications, ILLC; PP-2004-15, 2004. http://www.illc.uva.nl/Publications/ResearchReports/PP-2004-15.text.pdf
van Benthem, J., G. Bezhanishvili, B. ten Cate, and D. Sarenac, Multimodal logics for products of topologies, Studia Logica 84:369–392, 2006. http://scholarsportal.info/pdflinks/07062316015328141.pdf
Author information
Authors and Affiliations
Corresponding author
Rights and permissions
About this article
Cite this article
Kremer, P. The Incompleteness of S4 \({\bigoplus}\) S4 for the Product Space . Stud Logica 103, 219–226 (2015). https://doi.org/10.1007/s11225-015-9605-4
Received:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s11225-015-9605-4