PP-2004-15: van Benthem, Johan and Bezhanishvili, Guram and ten Cate, Balder and Sarenac, Darko (2004) Modal Logics for Products of Topologies. [Report]
Preview |
Text (Full Text)
PP-2004-15.text.pdf Download (268kB) | Preview |
Text (Abstract)
PP-2004-15.abstract.txt Download (712B) |
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 topological
spaces with horizontal, vertical, and standard product topologies. We
prove that both of these logics are complete for the product of
rational numbers Q x Q with the appropriate topologies.
Item Type: | Report |
---|---|
Report Nr: | PP-2004-15 |
Series Name: | Prepublication (PP) Series |
Year: | 2004 |
Uncontrolled Keywords: | Modal Logic, Tarski, Products, Topological Spaces |
Subjects: | Logic |
Depositing User: | Johan van Benthem |
Date Deposited: | 12 Oct 2016 14:36 |
Last Modified: | 12 Oct 2016 14:36 |
URI: | https://eprints.illc.uva.nl/id/eprint/126 |
Actions (login required)
View Item |