The mckinsey–tarski theorem for locally compact ordered spaces

, , &
Bulletin of Symbolic Logic 27 (2):187-211 (2021)
  Copy   BIBTEX

Abstract

We prove that the modal logic of a crowded locally compact generalized ordered space is $\textsf {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.

Categories

Keywords

Reprint years

DOI

10.1017/bsl.2021.16

Links

PhilArchive



    Upload a copy of this work     Papers currently archived: 92,471

External links

Setup an account with your affiliations in order to access resources via your University's proxy server

Through your library

My notes

Similar books and articles

A New Proof of the McKinsey–Tarski Theorem.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. van Mill - 2018 - Studia Logica 106 (6):1291-1311.
A New Proof of the McKinsey–Tarski Theorem.J. Mill, J. Lucero-Bryan, N. Bezhanishvili & G. Bezhanishvili - 2018 - Studia Logica 106 (6):1291-1311.
On modal logics arising from scattered locally compact Hausdorff spaces.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2019 - Annals of Pure and Applied Logic 170 (5):558-577.
Open subspaces of locally compact metric spaces.Mark Mandelkern - 1993 - Mathematical Logic Quarterly 39 (1):213-216.
Semi-Compact and Semi-Lindelӧf Spaces via Neutrosophic Crisp Set Theory.A. A. Salama, I. M. Hanafy & M. S. Dabash - 2018 - Asia Mathematika 2 (2):41-48.
Krull dimension in modal logic.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2017 - Journal of Symbolic Logic 82 (4):1356-1386.
The Embedding Theorem: Its Further Developments and Consequences. Part 1.Alexei Y. Muravitsky - 2006 - Notre Dame Journal of Formal Logic 47 (4):525-540.
Resolution of the uniform lower bound problem in constructive analysis.Erik Palmgren - 2008 - Mathematical Logic Quarterly 54 (1):65-69.
Cardinal sequences of LCS spaces under GCH.Juan Carlos Martinez & Lajos Soukup - 2010 - Annals of Pure and Applied Logic 161 (9):1180-1193.
Products of compact spaces and the axiom of choice II.Omar De la Cruz, Eric Hall, Paul Howard, Kyriakos Keremedis & Jean E. Rubin - 2003 - Mathematical Logic Quarterly 49 (1):57-71.
Tychonoff hed-spaces and Zemanian extensions of s4.3.Guram Bezhanishvili, Nick Bezhanishvili, Joel Lucero-Bryan & Jan van Mill - 2018 - Review of Symbolic Logic 11 (1):115-132.
Tree-like constructions in topology and modal logic.G. Bezhanishvili, N. Bezhanishvili, J. Lucero-Bryan & J. Van Mill - 2020 - Archive for Mathematical Logic 60 (3):265-299.
Products of Compact Spaces and the Axiom of Choice.O. De la Cruz, Paul Howard & E. Hall - 2002 - Mathematical Logic Quarterly 48 (4):508-516.
On Countable Products of Finite Hausdorff Spaces.Horst Herrlich & Kyriakos Keremedis - 2000 - Mathematical Logic Quarterly 46 (4):537-542.
A strict implication calculus for compact Hausdorff spaces.G. Bezhanishvili, N. Bezhanishvili, T. Santoli & Y. Venema - 2019 - Annals of Pure and Applied Logic 170 (11):102714.

Analytics

Added to PP
2021-04-30

Downloads
19 (#805,446)

6 months
13 (#204,126)

Historical graph of downloads
How can I increase my downloads?

Author's Profile

Nick Bezhanishvili
University of Amsterdam

Citations of this work

A Model Theory of Topology.Paolo Lipparini - forthcoming - Studia Logica:1-35.

Add more citations

References found in this work

Modal Logic.Yde Venema, Alexander Chagrov & Michael Zakharyaschev - 2000 - Philosophical Review 109 (2):286.
Topology via Logic.P. T. Johnstone & Steven Vickers - 1991 - Journal of Symbolic Logic 56 (3):1101.
Domain theory in logical form.Samson Abramsky - 1991 - Annals of Pure and Applied Logic 51 (1-2):1-77.
Completeness of S4 with respect to the real line: revisited.Guram Bezhanishvili & Mai Gehrke - 2004 - Annals of Pure and Applied Logic 131 (1-3):287-301.

View all 13 references / Add more references