PP-2004-04: Cardinal spaces and topological representations of bimodal logics

PP-2004-04: Löwe, Benedikt and Sarenac, Darko (2004) Cardinal spaces and topological representations of bimodal logics. [Report]

[thumbnail of Full Text (PDF)]
Text (Full Text (PDF))

Download (104kB) | Preview
[thumbnail of Full Text (PS)] Text (Full Text (PS))

Download (164kB)
[thumbnail of Abstract] Text (Abstract)

Download (444B)


We look at bimodal logics interpreted by cartesian products
of topological spaces and discuss the validity of certain
bimodal formulae in products or so-called cardinal spaces.
This solves an open problem of van Benthem et al.

Item Type: Report
Report Nr: PP-2004-04
Series Name: Prepublication (PP) Series
Year: 2004
Uncontrolled Keywords: Bimodal logic, topological interpretations of modal logic, ordinals, commutativity, Church-Rosser
Subjects: Logic
Depositing User: Benedikt
Date Deposited: 12 Oct 2016 14:36
Last Modified: 12 Oct 2016 14:36
URI: https://eprints.illc.uva.nl/id/eprint/115

Actions (login required)

View Item View Item