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

Authors
Johan Van Benthem
University of Amsterdam
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
Keywords Fusion of modal logics  products of modal logics  topological product  horizontal  vertical topologies
Categories (categorize this paper)
DOI 10.1007/s11225-006-9013-x
Options
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

PhilArchive copy


Upload a copy of this paper     Check publisher's policy     Papers currently archived: 58,903
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

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

Citations of this work BETA

Quantified Modal Logic on the Rational Line.Philip Kremer - 2014 - Review of Symbolic Logic 7 (3):439-454.

View all 18 citations / Add more citations

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.

Analytics

Added to PP index
2013-10-31

Total views
83 ( #123,447 of 2,426,398 )

Recent downloads (6 months)
7 ( #102,056 of 2,426,398 )

How can I increase my downloads?

Downloads

My notes