Hostname: page-component-cd9895bd7-dk4vv Total loading time: 0 Render date: 2024-12-31T20:53:08.895Z Has data issue: false hasContentIssue false
  • English
  • Français

STRONG COMPLETENESS OF MODAL LOGICS OVER 0-DIMENSIONAL METRIC SPACES

Published online by Cambridge University Press:  24 October 2019

ROBERT GOLDBLATT  and
IAN HODKINSON
ROBERT GOLDBLATT*
Affiliation:
School of Mathematics and Statistics, Victoria University of Wellington
IAN HODKINSON*
Affiliation:
Department of Computing, Imperial College London
*
*SCHOOL OF MATHEMATICS AND STATISTICS VICTORIA UNIVERSITY WELLINGTON, NEW ZEALAND E-mail: [email protected]
†DEPARTMENT OF COMPUTING IMPERIAL COLLEGE LONDON LONDON, UK E-mail: [email protected]
Get access Rights & Permissions [Opens in a new window]

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

Primary 03B45Secondary 54E35dense in itselfCantor setcoderivative operatoruniversal modalitydifference modalitygraded modalities
Type
Research Article
Information
The Review of Symbolic Logic , Volume 13 , Issue 3 , September 2020 , pp. 611 - 632
Check for updates
Copyright
Copyright © Association for Symbolic Logic 2019 

Access options

Get access to the full version of this content by using one of the access options below. (Log in options will check for institutional or personal access. Content may require purchase if you do not have access.)

References

BIBLIOGRAPHY

Bell, J. L. & Slomson, A. B. (1969). Models and Ultraproducts: An Introduction. Amsterdam: North-Holland.Google Scholar
Bezhanishvili, G., Gabelaia, D., & Lucero-Bryan, J. (2015). Modal logics of metric spaces. The Review of Symbolic Logic , 8, 178–191.CrossRefGoogle Scholar
Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal Logic. Tracts in Theoretical Computer Science. Cambridge, UK: Cambridge University Press.CrossRefGoogle Scholar
Brouwer, L. E. J. (1910). On the structure of perfect sets of points. Proceedings of the Academy Amsterdam, 12, 785–794.Google Scholar
Chagrov, A. & Zakharyaschev, M. (1997). Modal Logic. Oxford Logic Guides, Vol. 35. Oxford: Clarendon Press.Google Scholar
Engelking, R. (1989). General Topology. Berlin: Heldermann Verlag.Google Scholar
Flum, J. & Ziegler, M. (1980). Topological Model Theory. Lecture Notes in Mathematics, Vol. 769. Berlin: Springer.CrossRefGoogle Scholar
Gatto, A. (2016). Studies on Modal Logics of Time and Space. Ph.D. Thesis, Imperial College London.Google Scholar
Gerhardt, S. (2004). A construction method for modal logics of space. Master’s Thesis, ILLC, University of Amsterdam.Google Scholar
Givant, S. & Halmos, P. (2009). Introduction to Boolean Algebras. Undergraduate Texts in Mathematics. New York: Springer.Google Scholar
Goldblatt, R. & Hodkinson, I. (2016). The tangled derivative logic of the real line and zero-dimensional spaces. In Beklemishev, L., Demri, S., and Máté, A., editors. Advances in Modal Logic , Vol. 11. London: College Publications, pp. 342–361.Google Scholar
Goldblatt, R. & Hodkinson, I. (2017). Spatial logic of tangled closure operators and modal mu-calculus. Annals of Pure and Applied Logic , 168, 1032–1090.CrossRefGoogle Scholar
Goldblatt, R. & Hodkinson, I. (2018). The finite model property for logics with the tangle modality. Studia Logica, 106, 131–166.CrossRefGoogle Scholar
Koppelberg, S. (1989). General theory of boolean algebras. In Monk, J. D., editor. Handbook of Boolean Algebras, Vol. 1. Amsterdam: North-Holland. With the cooperation of Robert Bonnet.Google Scholar
Kremer, P. (2013). Strong completeness of S4 for any dense-in-itself metric space. The Review of Symbolic Logic , 6, 545–570.CrossRefGoogle Scholar
Kudinov, A. (2006). Topological modal logics with difference modality. In Governatori, G., Hodkinson, I., and Venema, Y., editors. Advances in Modal Logic, Vol. 6. London: College Publications, pp. 319–332.Google Scholar
Kudinov, A. & Shehtman, V. (2014). Derivational modal logics with the difference modality. In Bezhanishvili, G., editor. Leo Esakia on Duality in Modal and Intuitionistic Logics. Outstanding Contributions to Logic, Vol. 4. Dordrecht: Springer, pp. 291–334.Google Scholar
McKinsey, J. & Tarski, A. (1944). The algebra of topology. Annals of Mathematics, 45, 141–191.CrossRefGoogle Scholar
McKinsey, J. & Tarski, A. (1948). Some theorems about the sentential calculi of Lewis and Heyting. The Journal of Symbolic Logic , 13, 1–15.CrossRefGoogle Scholar
Rasiowa, H. & Sikorski, R. (1963). The Mathematics of Metamathematics. Warszawa: Państwowe Wydawnictwo Naukowe.Google Scholar
Stone, A. H. (1948). Paracompactness and product spaces. Bulletin of the American Mathematical Society , 54, 977–982.CrossRefGoogle Scholar
Tarski, A. (1938). Der Aussagenkalkül und die Topologie. Fundamenta Mathematicae, 31, 103–134.CrossRefGoogle Scholar
Willard, S. (1970). General Topology. Reading, Mass: Addison-Wesley.Google Scholar