PP-2020-05: The McKinsey-Tarski theorem for locally compact ordered spaces

PP-2020-05: Bezhanishvili, Guram and Bezhanishvili, Nick and Lucero-Bryan, Joel and van Mill, Jan (2020) The McKinsey-Tarski theorem for locally compact ordered spaces. [Pre-print]

[thumbnail of Logics_of_LC_GO.pdf]

Download (399kB) | Preview


We prove that the modal logic of a crowded locally compact generalized ordered space is S4. This provides a version of the McKinsey-Tarski theorem for generalized ordered spaces. We then utilize this theorem to axiomatize the modal logic of an arbitrary locally
compact generalized ordered space.

Item Type: Pre-print
Report Nr: PP-2020-05
Series Name: Prepublication (PP) Series
Year: 2020
Subjects: Logic
Depositing User: Nick Bezhanishvili
Date Deposited: 07 Feb 2020 21:52
Last Modified: 07 Feb 2020 21:52
URI: https://eprints.illc.uva.nl/id/eprint/1732

Actions (login required)

View Item View Item