Multimo dal Logics of Products of Topologies

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


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.



    Upload a copy of this work     Papers currently archived: 92,931

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


Added to PP

9 (#1,279,102)

6 months
7 (#491,855)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Johan Van Benthem
University of Amsterdam

Citations of this work

Combining logics.Walter Carnielli & Marcelo E. Coniglio - 2008 - Stanford Encyclopedia of Philosophy.
Topology and measure in logics for region-based theories of space.Tamar Lando - 2018 - Annals of Pure and Applied Logic 169 (4):277-311.

Add more citations

References found in this work

No references found.

Add more references