{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:05:04Z","timestamp":1762459504504,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662556641"},{"type":"electronic","value":"9783662556658"}],"license":[{"start":{"date-parts":[[2017,1,1]],"date-time":"2017-01-01T00:00:00Z","timestamp":1483228800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2017]]},"DOI":"10.1007\/978-3-662-55665-8_23","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:01:02Z","timestamp":1503500462000},"page":"330-346","source":"Crossref","is-referenced-by-count":10,"title":["Topo-Logic as a Dynamic-Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Alexandru","family":"Baltag","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ayb\u00fcke","family":"\u00d6zg\u00fcn","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ana Lucia","family":"Vargas Sandoval","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"key":"23_CR1","unstructured":"Aiello, M.: Theory and practice. Ph.D. thesis, ILLC, Univerisity of Amsterdam (2002)"},{"key":"23_CR2","doi-asserted-by":"crossref","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.D.: \u2018Knowable\u2019 as \u2018Known after an announcement\u2019. Rew. Symb. Logic 1, 305\u2013334 (2008)","journal-title":"Rew. Symb. Logic"},{"key":"23_CR3","unstructured":"Baltag, A.: To know is to know the value of a variable. In: Proceedings of the 11th Advances in Modal Logic, pp. 135\u2013155 (2016)"},{"key":"23_CR4","doi-asserted-by":"crossref","first-page":"23","DOI":"10.1093\/jigpal\/4.1.23","volume":"4","author":"B Bennett","year":"1996","unstructured":"Bennett, B.: Modal logics for qualitative spatial reasoning. Logic J. IGPL 4, 23\u201345 (1996)","journal-title":"Logic J. IGPL"},{"key":"23_CR5","unstructured":"Bjorndahl, A.: Topological subset space models for public announcements. In: Trends in Logic, Outstanding Contributions: Jaakko Hintikka (2016, to appear)"},{"key":"23_CR6","doi-asserted-by":"crossref","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A Dabrowski","year":"1996","unstructured":"Dabrowski, A., Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. Ann. Pure Appl. Logic 78, 73\u2013110 (1996)","journal-title":"Ann. Pure Appl. Logic"},{"key":"23_CR7","volume-title":"General Topology","author":"R Engelking","year":"1989","unstructured":"Engelking, R.: General Topology, vol. 6, 2nd edn. Heldermann Verlag, Berlin (1989)","edition":"2"},{"key":"23_CR8","unstructured":"Georgatos, K.: Modal logics for topological spaces. Ph.D. thesis, City University of New York (1993)"},{"key":"23_CR9","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1007\/3-540-58095-6_11","volume-title":"Knowledge Representation and Reasoning Under Uncertainty","author":"K Georgatos","year":"1994","unstructured":"Georgatos, K.: Knowledge theoretic properties of topological spaces. In: Masuch, M., P\u00f3los, L. (eds.) Logic at Work 1992. LNCS, vol. 808, pp. 147\u2013159. Springer, Heidelberg (1994). doi: 10.1007\/3-540-58095-6_11"},{"key":"23_CR10","doi-asserted-by":"crossref","first-page":"5","DOI":"10.1093\/logcom\/2.1.5","volume":"2","author":"V Goranko","year":"1992","unstructured":"Goranko, V., Passy, S.: Using the universal modality: gains and questions. J. Log. Comput. 2, 5\u201330 (1992)","journal-title":"J. Log. Comput."},{"key":"23_CR11","doi-asserted-by":"crossref","DOI":"10.1093\/oso\/9780195091953.001.0001","volume-title":"The Logic of Reliable Inquiry","author":"KT Kelly","year":"1996","unstructured":"Kelly, K.T.: The Logic of Reliable Inquiry. Oxford University Press, Oxford (1996)"},{"issue":"45","key":"23_CR12","doi-asserted-by":"crossref","first-page":"141","DOI":"10.2307\/1969080","volume":"2","author":"JCC McKinsey","year":"1944","unstructured":"McKinsey, J.C.C., Tarski, A.: The algebra of topology. Ann. Math. 2(45), 141\u2013191 (1944)","journal-title":"Ann. Math."},{"key":"23_CR13","unstructured":"Moss, L.S., Parikh, R.: Topological reasoning and the logic of knowledge. In: Proceedings of the 4th TARK, pp. 95\u2013105. Morgan Kaufmann (1992)"},{"key":"23_CR14","doi-asserted-by":"crossref","first-page":"369","DOI":"10.1080\/11663081.1999.10510972","volume":"9","author":"VB Shehtman","year":"1999","unstructured":"Shehtman, V.B.: \u201cEverywhere\u201d and \u201cHere\u201d. J. Appl. Non Class. Logics 9, 369\u2013379 (1999)","journal-title":"J. Appl. Non Class. Logics"},{"key":"23_CR15","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"252","DOI":"10.1007\/978-3-319-17130-2_17","volume-title":"Multi-Agent Systems","author":"H Ditmarsch","year":"2015","unstructured":"Ditmarsch, H., Knight, S., \u00d6zg\u00fcn, A.: Arbitrary announcements on topological subset spaces. In: Bulling, N. (ed.) EUMAS 2014. LNCS (LNAI), vol. 8953, pp. 252\u2013266. Springer, Cham (2015). doi: 10.1007\/978-3-319-17130-2_17"},{"key":"23_CR16","series-title":"Cambridge Tracts in Theoretical Computer Science","volume-title":"Topology via Logic","author":"S Vickers","year":"1989","unstructured":"Vickers, S.: Topology via Logic. Cambridge Tracts in Theoretical Computer Science. Cambridge University Press, Cambridge (1989)"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-55665-8_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,6,26]],"date-time":"2024-06-26T12:38:53Z","timestamp":1719405533000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}