PP-2004-15: Modal Logics for Products of Topologies

PP-2004-15: van Benthem, Johan and Bezhanishvili, Guram and ten Cate, Balder and Sarenac, Darko (2004) Modal Logics for Products of Topologies. [Report]

Text (Full Text)

Download (268kB) | Preview
[img] Text (Abstract)

Download (712B)


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 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 View Item