Can I read Strong Completeness of Modal Logics Over 0-Dimensional Metric Spaces on EtoBox?

Strong Completeness of Modal Logics Over 0-Dimensional Metric Spaces by Goldblatt, Robert; Hodkinson, Ian is a scholarly article available to read on EtoBox.

What is Strong Completeness of Modal Logics Over 0-Dimensional Metric Spaces about?

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.

Author

Goldblatt, Robert; Hodkinson, Ian

Published

2019

Language

EN