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]
Preview |
Text
Logics_of_LC_GO.pdf Download (399kB) | Preview |
Abstract
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 Mathematics |
| 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 |
