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)]
Preview
 Text (Full Text (PDF))
PP-2004-04.text.pdf
Download (104kB) | Preview
[thumbnail of Full Text (PS)] Text (Full Text (PS))
PP-2004-04.text.ps.gz
Download (164kB)
[thumbnail of Abstract] Text (Abstract)
PP-2004-04.abstract.txt
Download (444B)

Abstract

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
ILLC Preprints and Publications is powered by EPrints 3.4 which is developed by the School of Electronics and Computer Science at the University of Southampton. About EPrints | Accessibility