Multimo dal Logics of Products of Topologies

Studia Logica 84 (3):369-392 (2006)

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 ${\bf S4}\oplus {\bf 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 ${\Bbb Q}\times {\Bbb Q}$ with the appropriate topologies

Download options

PhilArchive



    Upload a copy of this work     Papers currently archived: 72,855

External links

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

Through your library

Analytics

Added to PP
2013-10-31

Downloads
85 (#140,281)

6 months
1 (#386,031)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

References found in this work

Two-Dimensional Modal Logic.Krister Segerberg - 1973 - Journal of Philosophical Logic 2 (1):77 - 96.
The Algebra of Topology.J. C. C. Mckinsey & Alfred Tarski - 1944 - Annals of Mathematics, Second Series 45:141-191.
Diodorean Modality in Minkowski Spacetime.Robert Goldblatt - 1980 - Studia Logica 39 (2-3):219 - 236.

View all 9 references / Add more references

Similar books and articles

Equivalential Logics (II).Janusz Czelakowski - 1981 - Studia Logica 40 (4):355 - 372.
Topologies of the Flesh: A Multidimensional Exploration of the Lifeworld.Steven M. Rosen - 2006 - Ohio University Press, Series in Continental Thought.
U-Monad Topologies of Hyperfinite Time Lines.Renling Jin - 1992 - Journal of Symbolic Logic 57 (2):534-539.