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]

[thumbnail of Full Text]
Text (Full Text)

Download (268kB) | Preview
[thumbnail of Abstract] 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 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 View Item