Author:
GOLDBLATT ROBERT,HODKINSON IAN
Abstract
AbstractWe 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.
Publisher
Cambridge University Press (CUP)
Subject
Logic,Philosophy,Mathematics (miscellaneous)
Cited by
3 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Abstraction of Prevention Conceived in Distributed Knowledge Base;Proceedings of the 8th International Conference on Complexity, Future Information Systems and Risk;2023
2. Consultation to Effectiveness and Logical Meaning;Proceedings of the 7th International Conference on Complexity, Future Information Systems and Risk;2022
3. Strong Completeness of S4 for the Real Line;Outstanding Contributions to Logic;2021-09-25