{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:40:03Z","timestamp":1750815603777,"version":"3.41.0"},"publisher-location":"Berlin, Heidelberg","reference-count":44,"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_8","type":"book-chapter","created":{"date-parts":[[2017,8,23]],"date-time":"2017-08-23T15:01:02Z","timestamp":1503500462000},"page":"108-122","source":"Crossref","is-referenced-by-count":4,"title":["Convergence, Continuity and Recurrence in Dynamic Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Dominik","family":"Klein","sequence":"first","affiliation":[]},{"given":"Rasmus K.","family":"Rendsvig","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2017,8,24]]},"reference":[{"issue":"4","key":"8_CR1","doi-asserted-by":"crossref","first-page":"530","DOI":"10.1093\/jigpal\/jzp037","volume":"18","author":"G Aucher","year":"2010","unstructured":"Aucher, G.: Generalizing AGM to a multi-agent setting. Logic J. IGPL 18(4), 530\u2013558 (2010)","journal-title":"Logic J. IGPL"},{"issue":"2","key":"8_CR2","doi-asserted-by":"crossref","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag, A., Moss, L.S.: Logics for epistemic programs. Synthese 139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"8_CR3","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: TARK 1998. Morgan Kaufmann (1998)"},{"key":"8_CR4","unstructured":"Baltag, A., Renne, B.: Dynamic epistemic logic. In: The Stanford Encyclopedia of Philosophy (2016). Fall 2016th Edition"},{"key":"8_CR5","unstructured":"Baltag, A., Smets, S.: A qualitative theory of dynamic interactive belief revision. In: Proceedings of LOFT 7. Amsterdam University Press (2008)"},{"key":"8_CR6","doi-asserted-by":"crossref","unstructured":"Baltag, A., Smets, S.: Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In: TARK 2009. ACM (2009)","DOI":"10.1145\/1562814.1562824"},{"issue":"1","key":"8_CR7","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1111\/1467-8586.00133","volume":"53","author":"J Benthem van","year":"2001","unstructured":"van Benthem, J.: Games in dynamic-epistemic logic. Bull. Econ. Res. 53(1), 219\u2013249 (2001)","journal-title":"Bull. Econ. Res."},{"key":"8_CR8","unstructured":"van Benthem, J.: \u201cOne is a Lonely Number\u201d: logic and communication. In: Logic Colloquium 2002. Lecture Notes in Logic, vol. 27. Association for Symbolic Logic (2006)"},{"issue":"2","key":"8_CR9","doi-asserted-by":"crossref","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"17","author":"J Benthem van","year":"2007","unstructured":"van Benthem, J.: Dynamic logic for belief revision. J. Appl. Non-Class. Logics 17(2), 129\u2013155 (2007)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"8_CR10","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511974533","volume-title":"Logical Dynamics of Information and Interaction","author":"J Benthem van","year":"2011","unstructured":"van Benthem, J.: Logical Dynamics of Information and Interaction. Cambridge University Press, Cambridge (2011)"},{"key":"8_CR11","volume-title":"The Facts Matter","author":"J Benthem van","year":"2016","unstructured":"van Benthem, J.: Oscillations, logic, and dynamical systems. In: Ghosh, S., Szymanik, J. (eds.) The Facts Matter. College Publications, London (2016)"},{"issue":"11","key":"8_CR12","doi-asserted-by":"crossref","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.: Logics of communication and change. Inf. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."},{"issue":"5","key":"8_CR13","doi-asserted-by":"crossref","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J Benthem van","year":"2009","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. J. Philos. Logic 38(5), 491\u2013526 (2009)","journal-title":"J. Philos. Logic"},{"key":"8_CR14","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"issue":"1","key":"8_CR15","doi-asserted-by":"crossref","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T Bolander","year":"2011","unstructured":"Bolander, T., Birkegaard, M.: Epistemic planning for single- and multi-agent systems. J. Appl. Non-Class. Logics 21(1), 9\u201334 (2011)","journal-title":"J. Appl. Non-Class. Logics"},{"key":"8_CR16","unstructured":"Bolander, T., Jensen, M., Schwarzentruber, F.: Complexity results in epistemic planning. In: Proceedings of IJCAI 2015. AAAI Press (2015)"},{"key":"8_CR17","unstructured":"Caridroit, T., Konieczny, S., de Lima, T., Marquis, P.: On distances between KD45n Kripke models and their use for belief revision. In: ECAI 2016. IOS Press (2016)"},{"key":"8_CR18","unstructured":"D\u00e9gremont, C.: The temporal mind: observations on the logic of belief change in interactive systems. Ph.D. thesis, University of Amsterdam (2010)"},{"key":"8_CR19","unstructured":"van Ditmarsch, H., Kooi, B.: Semantic results for ontic and epistemic change. In: Logic and the Foundations of Game and Decision Theory (LOFT 7). Texts in Logic and Games, vol. 3. Amsterdam University Press (2008)"},{"key":"8_CR20","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, Dordrecht (2008). doi: 10.1007\/978-1-4020-5839-4"},{"key":"8_CR21","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-319-16898-2","volume-title":"Operator Theoretic Aspects of Ergodic Theory","author":"T Eisner","year":"2015","unstructured":"Eisner, T., Farkas, B., Haase, M., Nagel, R.: Operator Theoretic Aspects of Ergodic Theory. Springer, Heidelberg (2015). doi: 10.1007\/978-3-319-16898-2"},{"key":"8_CR22","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"1995","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"issue":"3","key":"8_CR23","doi-asserted-by":"crossref","first-page":"1","DOI":"10.2178\/jsl\/1344862169","volume":"77","author":"D Fern\u00e1ndez-Duque","year":"2012","unstructured":"Fern\u00e1ndez-Duque, D.: A sound and complete axiomatization for dynamic topological logic. J. Symb. Logic 77(3), 1\u201326 (2012)","journal-title":"J. Symb. Logic"},{"issue":"1","key":"8_CR24","doi-asserted-by":"crossref","first-page":"308","DOI":"10.2178\/jsl\/1327068705","volume":"77","author":"D Fern\u00e1ndez-Duque","year":"2012","unstructured":"Fern\u00e1ndez-Duque, D.: Dynamic topological logic of metric spaces. J. Symb. Logic 77(1), 308\u2013328 (2012)","journal-title":"J. Symb. Logic"},{"key":"8_CR25","volume-title":"Advances in modal logics","author":"P Girard","year":"2012","unstructured":"Girard, P., Seligman, J., Liu, F.: General dynamic dynamic logic. In: Bolander, T., Brauner, T., Ghilardi, S., Moss, L. (eds.) Advances in modal logics, vol. 9. College Publications, London (2012)"},{"key":"8_CR26","unstructured":"Goranko, V.: Logical topologies and semantic completeness. In: Logic Colloquium 1999. Lecture Notes in Logic, vol. 17. AK Peters (2004)"},{"key":"8_CR27","volume-title":"Handbook of Modal Logic","author":"V Goranko","year":"2007","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic. Elsevier, Amsterdam (2007)"},{"issue":"3","key":"8_CR28","doi-asserted-by":"crossref","first-page":"549","DOI":"10.1145\/79147.79161","volume":"37","author":"YJ Halpern","year":"1990","unstructured":"Halpern, Y.J., Moses, Y.: Knowledge and common knowledge in a distributed environment. J. ACM 37(3), 549\u2013587 (1990)","journal-title":"J. ACM"},{"key":"8_CR29","volume-title":"Handbook of Dynamical Systems","author":"B Hasselblatt","year":"2002","unstructured":"Hasselblatt, B., Katok, A.: Principal structures. In: Hasselblatt, B., Katok, A. (eds.) Handbook of Dynamical Systems, vol. 1A. Elsevier, Amsterdam (2002)"},{"key":"8_CR30","volume-title":"Knowledge and Belief: An Introduction to the Logic of the Two Notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka, J.: Knowledge and Belief: An Introduction to the Logic of the Two Notions. College Publications, London (1962). 2nd, 2005 Edition"},{"key":"8_CR31","unstructured":"Klein, D., Rendsvig, R.K.: Metrics for Formal Structures, with an Application to Kripke Models and their Dynamics. arXiv:1704.00977 (2017)"},{"key":"8_CR32","unstructured":"Klein, D., Rendsvig, R.K.: Turing Completeness of Finite, Epistemic Programs. arXiv:1706.06845 (2017)"},{"key":"8_CR33","doi-asserted-by":"crossref","unstructured":"Kooi, B., Renne, B.: Generalized arrow update logic. In: TARK 2011. ACM, New York (2011)","DOI":"10.1145\/2000378.2000403"},{"key":"8_CR34","first-page":"371","volume":"3","author":"P Kremer","year":"1997","unstructured":"Kremer, P., Mints, G.: Dynamical topological logic. Bull. Symb. Logic 3, 371\u2013372 (1997)","journal-title":"Bull. Symb. Logic"},{"key":"8_CR35","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5587-4_10","volume-title":"Handbook of Spatial Logics","author":"P Kremer","year":"2007","unstructured":"Kremer, P., Mints, G.: Dynamic Topological Logic. In: Aiello, M., Pratt-Hartmann, I., Van Benthem, J. (eds.) Handbook of Spatial Logics. Springer, Dordrecht (2007). doi: 10.1007\/978-1-4020-5587-4_10"},{"key":"8_CR36","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511626302","volume-title":"An Introduction to Symbolic Dynamics and Coding","author":"D Lind","year":"1995","unstructured":"Lind, D., Marcus, B.: An Introduction to Symbolic Dynamics and Coding. Cambridge University Press, Cambridge (1995)"},{"key":"8_CR37","volume-title":"Topology","author":"JR Munkres","year":"2000","unstructured":"Munkres, J.R.: Topology, 2nd edn. Prentice-Hall, Englewood Cliffs (2000)","edition":"2"},{"key":"8_CR38","unstructured":"Plaza, J.A.: Logics of public communications. In: Proceedings of the 4th International Symposium on Methodologies for Intelligent Systems (1989)"},{"key":"8_CR39","unstructured":"Rendsvig, R.K.: Towards a theory of semantic competence. Master\u2019s thesis, Department of Philosophy and Science Studies and Department of Mathematics, Roskilde University (2011)"},{"key":"8_CR40","unstructured":"Rendsvig, R.K.: Diffusion, influence and best-response dynamics in networks: an action model approach. In: Proceedings of ESSLLI 2014 Student Session arXiv:1708.01477 (2014)"},{"issue":"11","key":"8_CR41","doi-asserted-by":"crossref","first-page":"2471","DOI":"10.1007\/s11229-014-0435-0","volume":"191","author":"RK Rendsvig","year":"2014","unstructured":"Rendsvig, R.K.: Pluralistic ignorance in the bystander effect: Informational dynamics of unresponsive witnesses in situations calling for intervention. Synthese 191(11), 2471\u20132498 (2014)","journal-title":"Synthese"},{"key":"8_CR42","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1007\/978-3-662-48561-3_26","volume-title":"Logic, Rationality, and Interaction","author":"RK Rendsvig","year":"2015","unstructured":"Rendsvig, R.K.: Model transformers for dynamical systems of dynamic epistemic logic. In: Hoek, W., Holliday, W.H., Wang, W. (eds.) LORI 2015. LNCS, vol. 9394, pp. 316\u2013327. Springer, Heidelberg (2015). doi: 10.1007\/978-3-662-48561-3_26"},{"key":"8_CR43","unstructured":"Sadzik, T.: Exploring the iterated update universe. ILLC PP-2006-26 (2006)"},{"key":"8_CR44","doi-asserted-by":"crossref","DOI":"10.1515\/9783110342406","volume-title":"Topological Dynamical Systems","author":"J Vries de","year":"2014","unstructured":"de Vries, J.: Topological Dynamical Systems. de Gruyter, Berlin (2014)"}],"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_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,25]],"date-time":"2025-06-25T01:02:51Z","timestamp":1750813371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-55665-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017]]},"ISBN":["9783662556641","9783662556658"],"references-count":44,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-55665-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2017]]}}}