Skip to main content
Log in

Multimo dal Logics of Products of Topologies

  • Published:
Studia Logica Aims and scope Submit manuscript

Abstract

We introduce the horizontal and vertical topologies on the product of topological spaces, and study their relationship with the standard product topology. We show that the modal logic of products of topological spaces with horizontal and vertical topologies is the fusion S4 ⊕ S4. We axiomatize the modal logic of products of spaces with horizontal, vertical, and standard product topologies.We prove that both of these logics are complete for the product of rational numbers ℚ × ℚ with the appropriate topologies.

This is a preview of subscription content, log in via an institution to check access.

Access this article

Price excludes VAT (USA)
Tax calculation will be finalised during checkout.

Instant access to the full article PDF.

Institutional subscriptions

Similar content being viewed by others

References

  1. Aiello, M., and J. van Benthem, ‘A modal walk through space’, Journal of Applied Non-Classical Logics, 12:319–363, 2002.

    Article  Google Scholar 

  2. Aiello, M., J. van Benthem, and G. Bezhanishvili, ‘Reasoning about space: the modal way’, Journal of Logic and Computation, 13:889–920,2003.

    Article  Google Scholar 

  3. Barwise, J., ‘Three views of common knowledge’, Proc. of TARK, 1988, pp. 365–379.

  4. van Benthem, J., and D. Sarenac, ‘The geometry of knowledge’, in J-Y. Béziau, A. Costa-Leite and A. Facchini (eds.), Trends in Universal Logic, 2005.

  5. van Benthem, J., ‘Information as correlation and information as range’, ILLC manuscript, 2003.

  6. van Benthem, J., Exploring logical dynamics, CSLI publications, 1997.

  7. Blackburn, P., M. de Rijke, and Y. Venema, Modal Logic, Cambridge University Press, 2001.

  8. Gabbay, D. M., and V. B. Shehtman, ‘Products of modal logics I’, Log. J. IGPL, 6:73–146, 1988.

    Article  Google Scholar 

  9. 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.

  10. Gabelaia, D., A. Kurucz, F. Wolter, and M. Zakharyaschev, ‘Products of ’transitive‘ modal logics’, J. Symbolic Logic, 70:993-1021, 2005.

    Article  Google Scholar 

  11. Goldblatt, R., ‘Diodorean modality in Minkowski spacetime’, Studia Logica, 39:219–237, 1980.

    Article  Google Scholar 

  12. Löwe, B., and D. Sarenac, ‘Cardinal spaces and topological representations of bimodal logics’, J. of IGPL, 13:301–306, 2005.

    Article  Google Scholar 

  13. Kuratowski, K., and A. Mostowski, Set theory, Studies in Logic and the Foundations of Mathematics, Vol. 86. North-Holland Publishing Co., Amsterdam-New York-Oxford; PWN—,Polish Scientific Publishers, Warsaw, 1976.

    Google Scholar 

  14. McKinsey, J. C. C., and A. Tarski, ‘The algebra of topology’, Ann. of Math. 45:141–191, 1944.

    Article  Google Scholar 

  15. Mints, G., ‘A completeness proof for propositional S4 in Cantor space’, Ch. 6, in Logic at Work, Kluwer Publishing, 1998.

  16. Sarenac, D., Modal logic and topological products, PhD Thesis, Stanford University, 2005.

  17. Segerberg, K., ‘Two-dimensional modal logic’, J. Philos. Logic, 2:77–96, 1973.

    Article  Google Scholar 

  18. Shehtman, V.B., ‘Two-dimensional modal logics’, Mathematical notices of the USSR Academy of Sciences, 23:417–424, 1978. (Translated from Russian.)

    Article  Google Scholar 

  19. Spaan, E., Complexity of modal logics, PhD thesis, University of Amsterdam, Institute for Logic, Language and Computation, 1993.

Download references

Author information

Authors and Affiliations

Authors

Corresponding author

Correspondence to J. van Benthem.

Additional information

AMS subject classification : 03B45, 54B10

The last author’s research was supported by a Social Sciences and Humanities Research Council of Canada grant number: 725-2000-2237.

Rights and permissions

Reprints and permissions

About this article

Cite this article

Benthem, J.v., Bezhanishvili, G., Cate, B.t. et al. Multimo dal Logics of Products of Topologies. Stud Logica 84, 369–392 (2006). https://doi.org/10.1007/s11225-006-9013-x

Download citation

  • Received:

  • Accepted:

  • Published:

  • Issue Date:

  • DOI: https://doi.org/10.1007/s11225-006-9013-x

Keywords

Navigation