Robert Goldblatt, Ian Hodkinson
Published 2019-05-09Version 1
We prove strong completeness results for some modal logics with the universal modality, with respect to their topological semantics over 0-dimensional dense-in-themselves metric spaces. We also use failure of compactness to show that, for some languages and spaces, no standard modal deductive system is strongly complete.
Compatibility and accessibility: lattice representations for semantics of non-classical and modal logics
Decidability of modal logics of non-$k$-colorable graphs
Locally tabular products of modal logics
![QR code for arXiv:1905.03477 [math.LO]](http://oss.arxitics.com/images/favicon.svg)