PP-2019-08: Baltag, Alexandru and Bezhanishvili, Nick and Fernández González, Saúl (2019) The McKinsey-Tarski Theorem for Topological Evidence Logics. [Pre-print]
Preview |
Text
ILLCPreprintVersion.pdf Download (383kB) | Preview |
Abstract
We prove an analogue of the McKinsey and Tarski theorem for the recently introduced dense-interior semantics of topological evidence logics. In particular, we show that in this semantics the modal logic S4.2 is sound and complete for any dense-in-itself metrizable space. As a result S4.2 is complete with respect to the real line R, the rational line Q, the Baire space B, the Cantor space C, etc. We also show that an extension of this logic with the universal modality is sound and complete for any idempotent dense-in-itsef metrizable space, obtaining as a result that this logic is sound and complete with respect to Q, B, C, etc.
Item Type: | Pre-print |
---|---|
Report Nr: | PP-2019-08 |
Series Name: | Prepublication (PP) Series |
Year: | 2019 |
Subjects: | Logic |
Depositing User: | Nick Bezhanishvili |
Date Deposited: | 05 Mar 2019 22:00 |
Last Modified: | 22 Apr 2019 08:45 |
URI: | https://eprints.illc.uva.nl/id/eprint/1667 |
Actions (login required)
View Item |