{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,9,12]],"date-time":"2026-09-12T03:17:25Z","timestamp":1789183045620,"version":"build-2803163510"},"publisher-location":"Dordrecht","reference-count":33,"publisher":"Springer Netherlands","isbn-type":[{"value":"9781402055867","type":"print"},{"value":"9781402055874","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-1-4020-5587-4_6","type":"book-chapter","created":{"date-parts":[[2007,9,1]],"date-time":"2007-09-01T05:19:57Z","timestamp":1188623997000},"page":"299-341","source":"Crossref","is-referenced-by-count":33,"title":["Topology and Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Rohit","family":"Parikh","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Lawrence S.","family":"Moss","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Chris","family":"Steinsvold","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"6","key":"6_CR1","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","volume":"13","author":"Marco Aiello","year":"2003","unstructured":"Aiello, Marco, van Benthem, Johan, and Bezhanishvili, Guram (2003). Reasoning about space: the modal way. J. Log. Comput., 13(6):889\u2013920.","journal-title":"J. Log. Comput."},{"key":"6_CR2","first-page":"365","volume-title":"Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge","author":"Jon Barwise","year":"1988","unstructured":"Barwise, Jon (1988). Three views of common knowledge. In Vardi, M., editor, Proceedings of the Second Conference on Theoretical Aspects of Reasoning about Knowledge, pages 365\u2013379. Morgan Kaufmann, San Francisco."},{"issue":"3","key":"6_CR3","doi-asserted-by":"publisher","first-page":"325","DOI":"10.1007\/s11225-005-4648-6","volume":"81","author":"Guram Bezhanishvili","year":"2005","unstructured":"Bezhanishvili, Guram, Esakia, Leo, and Gabelaia, David (2005). Some results on modal axiomatization and definability for topological spaces. Studia Logica, 81(3):325\u2013355.","journal-title":"Studia Logica"},{"issue":"1\u20133","key":"6_CR4","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"Andrew Dabrowski","year":"1996","unstructured":"Dabrowski, Andrew, Moss, Lawrence S., and Parikh, Rohit (1996). Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic, 78(1\u20133):73\u2013110. Papers in honor of the Symposium on Logical Foundations of Computer Science, \u201cLogic at St. Petersburg\u201d (St. Petersburg, 1994).","journal-title":"Annals of Pure and Applied Logic"},{"issue":"4\/5","key":"6_CR5","doi-asserted-by":"publisher","first-page":"357","DOI":"10.1051\/ita:1999123","volume":"33","author":"J. M. Davoren","year":"1999","unstructured":"Davoren, J. M. (1999). Topologies, continuity and bisimulations. Theoretical Informatics and Applications, 33(4\/5):357\u2013381.","journal-title":"Theoretical Informatics and Applications"},{"key":"6_CR6","doi-asserted-by":"crossref","first-page":"91","DOI":"10.1142\/9789812776471_0006","volume-title":"Advances in Modal Logic (Leipzig, 2000)","author":"Jen M. Davoren","year":"2002","unstructured":"Davoren, Jen M. and Gore, Rajeev P. (2002). Bimodal logics for reasoning about continuous dynamics. In Advances in Modal Logic (Leipzig, 2000), volume 3, pages 91\u2013111. World Sci. Publishing, River Edge, NJ."},{"key":"6_CR7","first-page":"128","volume-title":"Logical And Semantical Investigations","author":"Leo Esakia","year":"1981","unstructured":"Esakia, Leo (1981). Diagonal construction, Loeb\u2019s formula and Cantor\u2019s scattered spaces. In Logical And Semantical Investigations, pages 128\u2013143. Academy Press, Tbilisi. In Russian."},{"key":"6_CR8","first-page":"244","volume":"8","author":"Leo Esakia","year":"2001","unstructured":"Esakia, Leo (2001). Weak transitivity\u2014a restitution. Logical Investigations, 8:244\u2013255. In Russian.","journal-title":"Logical Investigations"},{"key":"6_CR9","unstructured":"Gabelaia, David (2001). Modal definability in topology. Master\u2019s thesis, ILLC, University of Amsterdam."},{"key":"6_CR10","unstructured":"Georgatos, Konstantinos (1993). Modal Logics for Topological Spaces. PhD thesis, CUNY Graduate Center."},{"key":"6_CR11","volume-title":"Knowledge Representation and Uncertainty","author":"Konstantinos Georgatos","year":"1994","unstructured":"Georgatos, Konstantinos (1994a). Knowledge theoretic properties of topological spaces. In Masuch, Michael and Laszlo, Polos, editors, Knowledge Representation and Uncertainty, Lecture Notes in Comput. Sci. Springer, Berlin."},{"key":"6_CR12","doi-asserted-by":"publisher","first-page":"300","DOI":"10.1007\/BFb0021980","volume-title":"Logics in artificial intelligence (York, 1994)","author":"Konstantinos Georgatos","year":"1994","unstructured":"Georgatos, Konstantinos (1994b). Reasoning about knowledge on computation trees. In Logics in artificial intelligence (York, 1994), volume 838 of Lecture Notes in Comput. Sci., pages 300\u2013315. Springer, Berlin."},{"key":"6_CR13","doi-asserted-by":"publisher","first-page":"271","DOI":"10.1023\/A:1004908502255","volume":"59","author":"Konstantinos Georgatos","year":"1997","unstructured":"Georgatos, Konstantinos (1997). Knowledge on treelike spaces. Studia Logica, 59:271\u2013301.","journal-title":"Studia Logica"},{"key":"6_CR14","first-page":"289","volume-title":"Mathematical Foundations of Computer Science 1997 (Bratislava), volume 1295 of Lecture Notes in Comput. Sci.","author":"Bernhard Heinemann","year":"1997","unstructured":"Heinemann, Bernhard (1997). A topological generalization of propositional linear time temporal logic. In Mathematical Foundations of Computer Science 1997 (Bratislava), volume 1295 of Lecture Notes in Comput. Sci., pages 289\u2013297. Springer, Berlin."},{"issue":"3","key":"6_CR15","doi-asserted-by":"publisher","first-page":"406","DOI":"10.1305\/ndjfl\/1039182254","volume":"39","author":"Bernhard Heinemann","year":"1998","unstructured":"Heinemann, Bernhard (1998). Topological modal logics satisfying finite chain conditions. Notre Dame Journal of Formal Logic, 39(3):406\u2013421.","journal-title":"Notre Dame Journal of Formal Logic"},{"issue":"3","key":"6_CR16","doi-asserted-by":"crossref","first-page":"259","DOI":"10.3233\/FI-1999-39303","volume":"39","author":"Bernhard Heinemann","year":"1999","unstructured":"Heinemann, Bernhard (1999a). The complexity of certain modal formulas on binary ramified subset trees. Fundamenta Informaticae, 39(3):259\u2013272.","journal-title":"Fundamenta Informaticae"},{"issue":"1\u20132","key":"6_CR17","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1016\/S0304-3975(98)00310-7","volume":"224","author":"Bernhard Heinemann","year":"1999","unstructured":"Heinemann, Bernhard (1999b). Temporal aspects of the modal logic of subset spaces. Theoret. Comput. Sci., 224(1\u20132):135\u2013155. Logical foundations of computer science (Yaroslavl, 1997).","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR18","doi-asserted-by":"publisher","first-page":"150","DOI":"10.1007\/3-540-44669-9_16","volume-title":"Fundamentals of computation theory (Riga, 2001)","author":"Bernhard Heinemann","year":"2001","unstructured":"Heinemann, Bernhard (2001). Modelling change with the aid of knowledge and time. In Fundamentals of computation theory (Riga, 2001), volume 2138 of Lecture Notes in Comput. Sci., pages 150\u2013161. Springer, Berlin."},{"key":"6_CR19","volume-title":"Advances in Modal Logic, AiML 2006, Noosa, Queensland, Australia","author":"Bernhard Heinemann","year":"2006","unstructured":"Heinemann, Bernhard (2006). Regarding overlaps in \u201ctopologic\u201d. In Hodkinson, I. and Venema, Y., editors, Advances in Modal Logic, AiML 2006, Noosa, Queensland, Australia, volume 6. King\u2019s College Publications, London."},{"key":"6_CR20","doi-asserted-by":"crossref","unstructured":"Kozen, Dexter and Parikh, Rohit (1981). An elementary proof of the completeness of PDL. Theoretical Computer Science, pages 113\u2013118.","DOI":"10.1016\/0304-3975(81)90019-0"},{"key":"6_CR21","unstructured":"Krommes, G. (2003). A new proof of decidability for the modal logic of subset spaces. In Eighth ESSLLI Student Session, pages 137\u2013148."},{"key":"6_CR22","volume-title":"Advances in Modal Logic, AiML 2006, Noosa, Queensland, Australia","author":"Andrey Kudinov","year":"2006","unstructured":"Kudinov, Andrey (2006). Topological modal logics with difference modality. In Hodkinson, I. and Venema, Y., editors, Advances in Modal Logic, AiML 2006, Noosa, Queensland, Australia, volume 6. King\u2019s College Publications, London."},{"key":"6_CR23","doi-asserted-by":"publisher","first-page":"117","DOI":"10.2307\/2267105","volume":"6","author":"J. C. C. McKinsey","year":"1941","unstructured":"McKinsey, J. C. C. (1941). A solution of the decision problem for the lewis systems S2 and S4, with an application to topology. J. Symbolic Logic, 6: 117\u2013134.","journal-title":"J. Symbolic Logic"},{"key":"6_CR24","doi-asserted-by":"publisher","first-page":"141","DOI":"10.2307\/1969080","volume":"45","author":"J. C. C. McKinsey","year":"1944","unstructured":"McKinsey, J. C. C. and A. Tarski (1944). The algebra of topology. Annals of Mathematics, 45:141\u2013191.","journal-title":"Annals of Mathematics"},{"key":"6_CR25","unstructured":"Moss, Lawrence S. and Parikh, Rohit (1992). Topological reasoning and the logic of knowledge. In Moses, Y., editor, Theoretical Aspects of Reasoning About Knowledge, pages 95\u2013105. Morgan Kaufmann."},{"key":"6_CR26","volume-title":"Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004","author":"Eric Pacuit","year":"2005","unstructured":"Pacuit, Eric and Parikh, Rohit (2005). The logic of communication graphs. In Leite, J., Omicini, A., Torroni, P., and Yolum, P., editors, Declarative Agent Languages and Technologies II: Second International Workshop, DALT 2004, volume 3476 of Lecture Notes in Artificial Intelligence. Springer, Berlin."},{"key":"6_CR27","unstructured":"Shehtman, V. (1990). Derived sets in euclidean spaces and modal logic. Technical Report X-90-05, University of Amsterdam."},{"key":"6_CR28","unstructured":"Steinsvold, Chris (2006). Topological Models of Belief Logics. PhD thesis, CUNY Graduate Center."},{"key":"6_CR29","doi-asserted-by":"crossref","unstructured":"van Benthem, Johan, Bezhanishvili, Guram, ten Cate, Balder, and Sarenac, Darko (2007). Multimodal logics of products of topologies. Studia Logica. to appear.","DOI":"10.1007\/s11225-006-9013-x"},{"key":"6_CR30","unstructured":"van Benthem, Johan and Sarenac, Darko (2004). The geometry of knowledge. Technical Report PP-2004-20, ILLC."},{"key":"6_CR31","volume-title":"Topology via Logic","author":"Steven Vickers","year":"1998","unstructured":"Vickers, Steven (1989). Topology via Logic. Cambridge University Press, Cambridge."},{"key":"6_CR32","unstructured":"Weiss, M. A. (1999). Completeness of Certain Bimodal Logics. PhD thesis, CUNY Graduate Center."},{"issue":"1","key":"6_CR33","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1023\/A:1016372523344","volume":"71","author":"M. A. Weiss","year":"2002","unstructured":"Weiss, M. A. and Parikh, R. (2002). Completeness of certain bimodal logics for subset spaces. Studia Logica, 71(1):1\u201330.","journal-title":"Studia Logica"}],"container-title":["Handbook of Spatial Logics"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-4020-5587-4_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,26]],"date-time":"2020-04-26T03:24:51Z","timestamp":1587871491000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-4020-5587-4_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9781402055867","9781402055874"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-1-4020-5587-4_6","relation":{},"subject":[],"published":{"date-parts":[[2007]]}}}