The McKinsey-Tarski theorem for locally compact ordered spaces

Open Access
Authors
Publication date 06-2021
Journal The Bulletin of Symbolic Logic
Volume | Issue number 27 | 2
Pages (from-to) 187-211
Organisations
  • Faculty of Science (FNWI) - Korteweg-de Vries Institute for Mathematics (KdVI)
  • Interfacultary Research - Institute for Logic, Language and Computation (ILLC)
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.
Document type Article
Language English
Published at https://doi.org/10.1017/bsl.2021.16
Downloads
Logics_of_LC_GO (Accepted author manuscript)
Permalink to this page
Back