Article contents
STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES
Published online by Cambridge University Press: 24 October 2019
Abstract
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.
Keywords
- Type
- Research Article
- Information
- Copyright
- Copyright © Association for Symbolic Logic 2019
References
BIBLIOGRAPHY
- 1
- Cited by