{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,29]],"date-time":"2026-05-29T11:16:14Z","timestamp":1780053374574,"version":"3.54.0"},"reference-count":16,"publisher":"Springer Science and Business Media LLC","issue":"4","license":[{"start":{"date-parts":[[2022,11,8]],"date-time":"2022-11-08T00:00:00Z","timestamp":1667865600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2022,11,8]],"date-time":"2022-11-08T00:00:00Z","timestamp":1667865600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":["J of Log Lang and Inf"],"published-print":{"date-parts":[[2022,12]]},"DOI":"10.1007\/s10849-022-09389-4","type":"journal-article","created":{"date-parts":[[2022,11,8]],"date-time":"2022-11-08T21:02:48Z","timestamp":1667941368000},"page":"619-644","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":2,"title":["The Epistemology of Nondeterminism"],"prefix":"10.1007","volume":"31","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-3731-5965","authenticated-orcid":false,"given":"Adam","family":"Bjorndahl","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2022,11,8]]},"reference":[{"issue":"6","key":"9389_CR1","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. (2003). Reasoning about space: The modal way. Journal of Logic and Computation, 13(6), 889\u2013920.","journal-title":"Journal of Logic and Computation"},{"key":"9389_CR2","series-title":"LORI 2017, 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., & Sandoval, A. V. (2017). Topo-logic as a dynamic-epistemic logic. LORI 2017, lecture notes in computer science. In A. Baltag, J. Seligman, & T. Yamada (Eds.), Logic, rationality, and interaction (Vol. 10455, pp. 330\u2013346). Berlin: Springer."},{"key":"9389_CR3","volume-title":"Jaakko Hintikka on knowledge and game theoretical semantics, outstanding contributions to logic","author":"A Bjorndahl","year":"2018","unstructured":"Bjorndahl, A. (2018). Topological subset space models for public announcements. In H. van Ditmarsch & G. Sandu (Eds.), Jaakko Hintikka on knowledge and game theoretical semantics, outstanding contributions to logic (Vol. 12). Berlin: Springer."},{"key":"9389_CR4","doi-asserted-by":"publisher","unstructured":"Bjorndahl, A., & \u00d6zg\u00fcn, A. (2017). Logic and topology for knowledge, knowability, and belief. In J. Lang (Ed.), Proceedings of the 16th conference on theoretical aspects of rationality and knowledge (TARK). https:\/\/doi.org\/10.4204\/EPTCS.251.","DOI":"10.4204\/EPTCS.251"},{"key":"9389_CR5","volume-title":"Modal logic. Cambridge tracts in theoretical computer science, No.\u00a053","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., & Venema, Y. (2001). Modal logic. Cambridge tracts in theoretical computer science, No.\u00a053. Cambridge: Cambridge University Press."},{"key":"9389_CR6","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. (1996). Topological reasoning and the logic of knowledge. Annals of Pure and Applied Logic, 78, 73\u2013110.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9389_CR7","volume-title":"A discipline of programming","author":"EW Dijkstra","year":"1976","unstructured":"Dijkstra, E. W. (1976). A discipline of programming. Englewood Cliffs: Prentice-Hall."},{"key":"9389_CR8","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. (1979). Semantics of nondeterminism, concurrency, and communication. Journal of Computer and System Sciences, 19, 290\u2013308.","journal-title":"Journal of Computer and System Sciences"},{"key":"9389_CR9","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. (2005). Dynamic topological logic. Annals of Pure and Applied Logic, 131, 133\u2013158.","journal-title":"Annals of Pure and Applied Logic"},{"key":"9389_CR10","volume-title":"Topology","author":"J Munkres","year":"2000","unstructured":"Munkres, J. (2000). Topology (2nd ed.). Englewood Cliffs: Prentice-Hall.","edition":"2"},{"key":"9389_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J. (2007). Logics of public communications. Synthese, 158, 165\u2013179. https:\/\/doi.org\/10.1007\/s11229-007-9168-7.","journal-title":"Synthese"},{"issue":"2","key":"9389_CR12","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. (1959). Finite automata and their decision problems. IBM Journal of Research, 3(2), 115\u2013125.","journal-title":"IBM Journal of Research"},{"issue":"5","key":"9389_CR13","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. (1992). Non-determinism in functional languages. The Computer Journal, 35(5), 514\u2013523.","journal-title":"The Computer Journal"},{"key":"9389_CR14","unstructured":"Troquard, N., & Balbiani, P. (2015). Propositional dynamic logic. In E. N. Zalta (Ed.), The Stanford encyclopedia of philosophy (Spring 2015 Edition). https:\/\/plato.stanford.edu\/archives\/spr2015\/entries\/logic-dynamic\/. https:\/\/plato.stanford.edu\/archives\/spr2015\/entries\/logic-dynamic\/."},{"key":"9389_CR15","unstructured":"van Ditmarsch, H., Knight, S., & \u00d6zg\u00fcn, A. (2015). Announcement as effort on topological spaces. In Proceedings of the 15th conference on theoretical aspects of rationality and knowledge (TARK) (pp. 95\u2013102)."},{"key":"9389_CR16","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic epistemic logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2008). Dynamic epistemic logic. Berlin: Springer."}],"container-title":["Journal of Logic, Language and Information"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09389-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/article\/10.1007\/s10849-022-09389-4\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/s10849-022-09389-4.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2022,12,4]],"date-time":"2022-12-04T06:03:53Z","timestamp":1670133833000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/s10849-022-09389-4"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,11,8]]},"references-count":16,"journal-issue":{"issue":"4","published-print":{"date-parts":[[2022,12]]}},"alternative-id":["9389"],"URL":"https:\/\/doi.org\/10.1007\/s10849-022-09389-4","relation":{},"ISSN":["0925-8531","1572-9583"],"issn-type":[{"value":"0925-8531","type":"print"},{"value":"1572-9583","type":"electronic"}],"subject":[],"published":{"date-parts":[[2022,11,8]]},"assertion":[{"value":"19 October 2022","order":1,"name":"accepted","label":"Accepted","group":{"name":"ArticleHistory","label":"Article History"}},{"value":"8 November 2022","order":2,"name":"first_online","label":"First Online","group":{"name":"ArticleHistory","label":"Article History"}}]}}