{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,10]],"date-time":"2024-09-10T15:38:34Z","timestamp":1725982714102},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662576687"},{"type":"electronic","value":"9783662576694"}],"license":[{"start":{"date-parts":[[2018,1,1]],"date-time":"2018-01-01T00:00:00Z","timestamp":1514764800000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2018]]},"DOI":"10.1007\/978-3-662-57669-4_8","type":"book-chapter","created":{"date-parts":[[2018,6,26]],"date-time":"2018-06-26T04:48:51Z","timestamp":1529988531000},"page":"145-162","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Epistemology of Nondeterminism"],"prefix":"10.1007","author":[{"given":"Adam","family":"Bjorndahl","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2018,6,27]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"133","DOI":"10.1016\/j.apal.2004.06.004","volume":"131","author":"P Kremer","year":"2005","unstructured":"Kremer, P., Mints, G.: Dynamic topological logic. Ann. Pure Appl. Logic 131, 133\u2013158 (2005)","journal-title":"Ann. Pure Appl. Logic"},{"key":"8_CR2","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1016\/0168-0072(95)00016-X","volume":"78","author":"A Dabrowski","year":"1996","unstructured":"Dabrowski, A., Moss, L., Parikh, R.: Topological reasoning and the logic of knowledge. Ann. Pure Appl. Logic 78, 73\u2013110 (1996)","journal-title":"Ann. Pure Appl. Logic"},{"key":"8_CR3","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/978-3-319-62864-6_6","volume-title":"Jaakko Hintikka on Knowledge and Game-Theoretical Semantics","author":"A Bjorndahl","year":"2018","unstructured":"Bjorndahl, A.: Topological subset space models for public announcements. In: van Ditmarsch, H., Sandu, G. (eds.) Jaakko Hintikka on Knowledge and Game-Theoretical Semantics. OCL, vol. 12, pp. 165\u2013186. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-319-62864-6_6"},{"issue":"2","key":"8_CR4","doi-asserted-by":"publisher","first-page":"115","DOI":"10.1147\/rd.32.0114","volume":"3","author":"MO Rabin","year":"1959","unstructured":"Rabin, M.O., Scott, D.: Finite automata and their decision problems. IBM J. Res. 3(2), 115\u2013125 (1959)","journal-title":"IBM J. Res."},{"key":"8_CR5","volume-title":"A Discipline of Programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E.W.: A Discipline of Programming. Prentice-Hall, Englewood Cliffs (1976)"},{"key":"8_CR6","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1016\/0022-0000(79)90006-0","volume":"19","author":"N Francez","year":"1979","unstructured":"Francez, N., Hoare, C.A.R., Lehmann, D.J., de Roever, W.P.: Semantics of nondeterminism, concurrency, and communication. J. Comput. Syst. Sci. 19, 290\u2013308 (1979)","journal-title":"J. Comput. Syst. Sci."},{"issue":"5","key":"8_CR7","doi-asserted-by":"publisher","first-page":"514","DOI":"10.1093\/comjnl\/35.5.514","volume":"35","author":"H S\u00f8ndergaard","year":"1992","unstructured":"S\u00f8ndergaard, H., Sestoft, P.: Non-determinism in functional langauges. Comput. J. 35(5), 514\u2013523 (1992)","journal-title":"Comput. J."},{"key":"8_CR8","unstructured":"Troquard, N., Balbiani, P.: Propositional dynamic logic. The Stanford Encyclopedia of Philosophy ((Spring 2015 Edition)) Zalta, E.N. (ed.). https:\/\/plato.stanford.edu\/archives\/spr2015\/entries\/logic-dynamic\/"},{"key":"8_CR9","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158, 165\u2013179 (2007)","journal-title":"Synthese"},{"key":"8_CR10","volume-title":"Topology","author":"J Munkres","year":"2000","unstructured":"Munkres, J.: Topology, 2nd edn. Prentice-Hall, Englewood Cliffs (2000)","edition":"2"},{"key":"8_CR11","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge Tracts in Theoretical Computer Science, vol. 53. Cambridge University Press, Cambridge (2001)"},{"key":"8_CR12","unstructured":"van Ditmarsch, H., Knight, S., \u00d6zg\u00fcn, A.: Announcement as effort on topological spaces. In: Proceedings of the 15th conference on Theoretical Aspects of Rationality and Knowledge (TARK), pp. 95\u2013102 (2015)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"330","DOI":"10.1007\/978-3-662-55665-8_23","volume-title":"Logic, Rationality, and Interaction","author":"A Baltag","year":"2017","unstructured":"Baltag, A., \u00d6zg\u00fcn, A., Vargas Sandoval, A.L.: Topo-logic as a dynamic-epistemic logic. In: Baltag, A., Seligman, J., Yamada, T. (eds.) LORI 2017. LNCS, vol. 10455, pp. 330\u2013346. Springer, Heidelberg (2017). https:\/\/doi.org\/10.1007\/978-3-662-55665-8_23"},{"key":"8_CR14","doi-asserted-by":"crossref","unstructured":"Bjorndahl, A., \u00d6zg\u00fcn, A.: Logic and topology for knowledge, knowability, and belief. In: Lang, J. (ed.) Proceedings of the 16th conference on Theoretical Aspects of Rationality and Knowledge (TARK) (2017)","DOI":"10.4204\/EPTCS.251.7"},{"key":"8_CR15","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H Ditmarsch van","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer, Heidelberg (2008). https:\/\/doi.org\/10.1007\/978-1-4020-5839-4"},{"issue":"6","key":"8_CR16","doi-asserted-by":"publisher","first-page":"889","DOI":"10.1093\/logcom\/13.6.889","volume":"13","author":"M Aiello","year":"2003","unstructured":"Aiello, M., van Benthem, J., Bezhanishvili, G.: Reasoning about space: the modal way. J. Logic Comput. 13(6), 889\u2013920 (2003)","journal-title":"J. Logic Comput."}],"container-title":["Lecture Notes in Computer Science","Logic, Language, Information, and Computation"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-57669-4_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,10,19]],"date-time":"2019-10-19T20:09:22Z","timestamp":1571515762000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-57669-4_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018]]},"ISBN":["9783662576687","9783662576694"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-57669-4_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2018]]}}}