Article contents
THE MCKINSEY–TARSKI THEOREM FOR LOCALLY COMPACT ORDERED SPACES
Published online by Cambridge University Press: 29 April 2021
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.
Keywords
- Type
- Articles
- Information
- Copyright
- © The Association for Symbolic Logic 2021
References
![](https://static.cambridge.org/binary/version/id/urn:cambridge.org:id:binary:20210915114240428-0441:S1079898621000160:S1079898621000160_inline796.png?pub-status=live)
- 1
- Cited by