Strong completeness of modal logics over 0-dimensional metric spaces

05/09/2019

∙

by   Robert Goldblatt, et al.

∙

0

∙

share

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.