Abstract
We study the topological models of a logic of knowledge for topological reasoning, introduced by Larry Moss and Rohit Parikh (1992). Among our results is the confirmation of a conjecture by Moss and Parikh, as well as the finite satisfiability property and decidability for the theory of topological models.
Preview
Unable to display preview. Download preview PDF.
References
Fagin, R., J.Y. Halpern, and M.Y. Vardi: “A model-theoretic analysis of knowledge,” in: Journal of the Association for Computing Machinery, 38 (2) (1991) 382–428.
Georgatos, K.: Modal Logics for Topological Spaces. Ph.D. Dissertation. City University of New York, 1993.
Gierz, G., K.H. Hoffman, K. Keimel, J.D. Lawson, M.W. Mislove, and D.S. Scott: A Compendium of Continuous Lattices. Berlin, Heidelberg: Springer-Verlag, 1980.
Halpern, J.Y., and Y. Moses: “Knowledge and common knowledge in a distributed environment,” in: Proceedings of the Third ACM Symposium on Principles of Distributed Computing (1984) 50–61.
Hintikka, J.: Knowledge and Belief. Ithaca, New York: Cornell University Press, 1962.
Moss. L.S., and R. Parikh: “Topological reasoning and the logic of knowledge,” in: Y. Moses (ed.), Proceedings of the Fourth Conference (TARK 1992) (1992) 95–105.
Parikh, R., and R. Ramanujam: “Distributed computing and the logic of knowledge,” in: R. Parikh (ed.) Logics of Programs, number 193 in Lecture Notes in Computer Science, Berlin, New York: Springer Verlag (1985) 256–268.
Rasiowa, H., and R. Sikorski: The Mathematics of Metamathematics. Panstwowe Wydawnictwo Naukowe, Warszawa, Poland, second edition, 1968.
Vickers, S.: Topology via Logic. Cambridge Studies in Advanced Computer Science. Cambridge: Cambridge University Press, 1989.
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1994 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Georgatos, K. (1994). Knowledge theoretic properties of topological spaces. In: Masuch, M., Pólos, L. (eds) Knowledge Representation and Reasoning Under Uncertainty. Logic at Work 1992. Lecture Notes in Computer Science, vol 808. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-58095-6_11
Download citation
DOI: https://doi.org/10.1007/3-540-58095-6_11
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-58095-9
Online ISBN: 978-3-540-48451-6
eBook Packages: Springer Book Archive