PP-2019-08: The McKinsey-Tarski Theorem for Topological Evidence Logics

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]

[thumbnail of ILLCPreprintVersion.pdf]

Download (383kB) | Preview


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 View Item