{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:40:09Z","timestamp":1746355209511,"version":"3.40.4"},"publisher-location":"Cham","reference-count":65,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319060248"},{"type":"electronic","value":"9783319060255"}],"license":[{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"content-version":"tdm","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":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_7","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"175-202","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":5,"title":["Dynamic Epistemic Logics"],"prefix":"10.1007","author":[{"given":"Jan","family":"van Eijck","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"7_CR1","doi-asserted-by":"crossref","unstructured":"Andersen MB, Bolander T, Jensen MH (2012) Conditional epistemic planning. In: Proceedings of JELIA 2012, Lecture notes in artificial intelligence, vol 7519, pp 94\u2013106","DOI":"10.1007\/978-3-642-33353-8_8"},{"key":"7_CR2","unstructured":"Aucher G (2003) A combined system for update logic and belief revision. Master\u2019s thesis, ILLC, Amsterdam"},{"key":"7_CR3","unstructured":"Aucher G, Bolander T (2013) Undecidability in epistemic planning. In: Proceedings of IJCAI 2013 (23rd international joint conference on artificial intelligence), August 2013"},{"issue":"6","key":"7_CR4","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1214\/aos\/1176343654","volume":"4","author":"RJ Aumann","year":"1976","unstructured":"Aumann RJ (1976) Agreeing to disagree. Ann Stat 4(6):1236\u20131239","journal-title":"Ann Stat"},{"issue":"1\u20132","key":"7_CR5","doi-asserted-by":"publisher","first-page":"171","DOI":"10.1016\/S0004-3702(99)00031-4","volume":"111","author":"F Bacchus","year":"1999","unstructured":"Bacchus F, Halpern J, Levesque H (1999) Reasoning about noisy sensors and effectors in the situation calculus. Artif Intell 111(1\u20132):171\u2013208","journal-title":"Artif Intell"},{"issue":"2","key":"7_CR6","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1023\/B:SYNT.0000024912.56773.5e","volume":"139","author":"A Baltag","year":"2004","unstructured":"Baltag A, Moss LS (2004) Logics for epistemic programs. Synthese 139(2):165\u2013224","journal-title":"Synthese"},{"key":"7_CR7","unstructured":"Baltag A, Moss LS, Solecki S (1998) The logic of public announcements, common knowledge, and private suspicions. In: Bilboa I (ed) Proceedings of TARK\u201998, pp 43\u201356"},{"key":"7_CR8","unstructured":"Baltag A, Moss LS, Solecki S (2003) The logic of public announcements, common knowledge, and private suspicions. Technical report, Dept of Cognitive Science, Indiana University and Dept of Computing, Oxford University, Bloomington and Oxford, 2003 (Updated version of [7])"},{"key":"7_CR9","unstructured":"Baltag A, Smets S (2006) Dynamic belief revision over multi-agent plausibility models. In: van der Hoek W, Wooldridge M (eds) Proceedings of LOFT\u201906, pp 11\u201324, Liverpool, 2006. University of Liverpool"},{"key":"7_CR10","unstructured":"Baltag A, Smets S (2008) The logic of conditional doxastic actions. In: Apt K, van Rooij R (eds) New perspectives on games and interaction. Texts in logic and games, vol 5. Amsterdam University Press, Amsterdam, pp 9\u201331"},{"key":"7_CR11","doi-asserted-by":"crossref","unstructured":"Baltag A, Smets S (2009) Group belief dynamics under iterated revision: fixed points and cycles of joint upgrades. In: Proceedings of the 12th conference on theoretical aspects of rationality and knowledge, TARK \u201909, pp 41\u201350, New York, NY, USA, 2009. ACM","DOI":"10.1145\/1562814.1562824"},{"key":"7_CR12","doi-asserted-by":"publisher","first-page":"149","DOI":"10.1006\/reec.1999.0187","volume":"53","author":"P Battigalli","year":"1999","unstructured":"Battigalli P, Bonanno G (1999) Recent results on belief, knowledge and the epistemic foundations of game theory. Res Econ 53:149\u2013225","journal-title":"Res Econ"},{"key":"7_CR13","unstructured":"van Benthem J (2000) Information update as relativization. Technical report, ILLC, Amsterdam, 2000. http:\/\/staff.science.uva.nl\/johan\/Upd=Rel.pdf"},{"key":"7_CR14","doi-asserted-by":"publisher","first-page":"129","DOI":"10.3166\/jancl.17.129-155","volume":"2","author":"J van Benthem","year":"2007","unstructured":"van Benthem J (2007) Dynamic logic for belief revision. J Appl Non-Classical Logics 2:129\u2013155","journal-title":"J Appl Non-Classical Logics"},{"issue":"2","key":"7_CR15","doi-asserted-by":"publisher","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"14","author":"J van Benthem","year":"2007","unstructured":"van Benthem J, Liu F (2007) Dynamic logic of preference upgrade. J Appl Non-Classical Logics 14(2):157\u2013182","journal-title":"J Appl Non-Classical Logics"},{"issue":"11","key":"7_CR16","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J van Benthem","year":"2006","unstructured":"van Benthem J, van Eijck J, Kooi B (2006) Logics of communication and change. Inf Comput 204(11):1620\u20131662","journal-title":"Inf Comput"},{"key":"7_CR17","doi-asserted-by":"publisher","first-page":"67","DOI":"10.1007\/s11225-009-9209-y","volume":"93","author":"J van Benthem","year":"2009","unstructured":"van Benthem J, Gerbrandy J, Kooi B (2009) Dynamic update with probabilities. Stud Logica 93:67\u201396","journal-title":"Stud Logica"},{"key":"7_CR18","unstructured":"van Benthem J, van Ditmarsch H, van Eijck J, Jaspars J (2012) Logic in action. Internet, 2012. http:\/\/www.logicinaction.org"},{"key":"7_CR19","doi-asserted-by":"crossref","unstructured":"Blackburn P, de Rijke M, Venema Y (2001) Modal logic. Cambridge tracts in theoretical computer science. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9781107050884"},{"issue":"1","key":"7_CR20","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T Bolander","year":"2011","unstructured":"Bolander T, Andersen MB (2011) Epistemic planning for single- and multi-agent systems. J Appl Non-Classical Logics 21(1):9\u201334","journal-title":"J Appl Non-Classical Logics"},{"issue":"1","key":"7_CR21","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1119\/1.1990764","volume":"14","author":"RT Cox","year":"1946","unstructured":"Cox RT (1946) Probability, frequency, and reasonable expectation. Am J Phys 14(1):1\u201313","journal-title":"Am J Phys"},{"key":"7_CR22","doi-asserted-by":"crossref","unstructured":"van Ditmarsch HP, van der Hoek W, Kooi BP (2005) Dynamic epistemic logic with assignment. In: Proceedings of the fourth international joint conference on autonomous agents and multi-agent systems (AAMAS 05), pp 141\u2013148, New York, 2005. ACM Inc","DOI":"10.1145\/1082473.1082495"},{"key":"7_CR23","doi-asserted-by":"crossref","unstructured":"van Ditmarsch HP, van der Hoek W, Kooi B (2006) Dynamic epistemic logic. Synthese library, vol 337. Springer, Dordrecht","DOI":"10.1145\/1082473.1082495"},{"key":"7_CR24","unstructured":"van Eijck J Learning about probability. http:\/\/homepages.cwi.nl:\/jve\/software\/prodemo"},{"key":"7_CR25","unstructured":"van Eijck J (2008) Yet more modal logics of preference change and belief revision. In: Apt KR, van Rooij R (eds) New perspectives on games and interaction. Texts in logic and games, vol 4, pp 81\u2013104. Amsterdam University Press, Amsterdam"},{"key":"7_CR26","unstructured":"van Eijck J (2013) PDL as a multi-agent strategy logic. In: Schipper BC (ed) TARK 2013\u2014Theoretical aspects of reasoning about knowledge, Proceedings of the 14th conference\u2014Chennai, India, pp 206\u2013215"},{"key":"7_CR27","doi-asserted-by":"crossref","unstructured":"van Eijck J, Wang Y (2008) Propositional dynamic logic as a logic of belief revision. In: Hodges W, de Queiros R (eds) Proceedings of Wollic\u201908, number 5110. Lecture notes in artificial intelligence, pp 136\u2013148. Springer","DOI":"10.1007\/978-3-540-69937-8_13"},{"key":"7_CR28","doi-asserted-by":"publisher","first-page":"131","DOI":"10.1007\/s11229-012-0083-1","volume":"185","author":"J van Eijck","year":"2012","unstructured":"van Eijck J, Ruan J, Sadzik T (2012) Action emulation. Synthese 185:131\u2013151","journal-title":"Synthese"},{"key":"7_CR29","doi-asserted-by":"crossref","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. MIT Press, Cambridge","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"7_CR30","doi-asserted-by":"crossref","unstructured":"Fagin R, Halpern JY, Moses Y, Vardi MY (1997) Knowledge-based programs. Distrib Comput 10(4):199\u2013225","DOI":"10.1007\/s004460050038"},{"key":"7_CR31","doi-asserted-by":"crossref","unstructured":"Fagin R, Halpern JY (1994) Reasoning about knowledge and probability. J ACM 41:340\u2013367","DOI":"10.1145\/174652.174658"},{"key":"7_CR32","doi-asserted-by":"crossref","unstructured":"Floyd RW (1967) Assigning meanings to programs. In: Proceedings AMS symposium applied mathematics, vol 19, pp 19\u201331, Providence, RI, 1967. American Mathematical Society","DOI":"10.1090\/psapm\/019\/0235771"},{"issue":"1","key":"7_CR33","doi-asserted-by":"publisher","first-page":"28","DOI":"10.1002\/bs.3830140105","volume":"14","author":"MF Friedell","year":"1969","unstructured":"Friedell MF (1969) On the structure of shared awareness. Behav Sci 14(1):28\u201339","journal-title":"Behav Sci"},{"key":"7_CR34","volume-title":"Knowledge in flux: modelling the dynamics of epistemic states","author":"P G\u00e4rdenfors","year":"1988","unstructured":"G\u00e4rdenfors P (1988) Knowledge in flux: modelling the dynamics of epistemic states. MIT Press, Cambridge"},{"key":"7_CR35","unstructured":"Gerbrandy J (1999) Bisimulations on planet Kripke. PhD thesis, ILLC, Amsterdam"},{"key":"7_CR36","doi-asserted-by":"crossref","unstructured":"Ghallab M, Nau DS, Traverso P (2004) Automated planning: theory and practice. Morgan Kaufmann, Amsterdam","DOI":"10.1016\/B978-155860856-6\/50021-1"},{"key":"7_CR37","unstructured":"Girard P, Seligman J (2012) General dynamic dynamic logic. In: Bolander T, Bra\u00fcner T, Ghilardi S, Moss LS (eds) Advances in modal logic. College Publications, pp 239\u2013260"},{"key":"7_CR38","unstructured":"Groeneveld W (1995) Logical investigations into dynamic semantics. PhD thesis, ILLC, Amsterdam"},{"key":"7_CR39","unstructured":"Halpern J (2003) Reasoning about uncertainty. MIT Press, Cambridge"},{"key":"7_CR40","doi-asserted-by":"crossref","unstructured":"Halpern JY, Moses YO (1984) Knowledge and common knowledge in a distributed environment. In: Proceedings 3rd ACVM symposium on distributed computing, pp 50\u201368","DOI":"10.1145\/800222.806735"},{"key":"7_CR41","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1146\/annurev.cs.02.060187.000345","volume":"2","author":"J Halpern","year":"1987","unstructured":"Halpern J (1987) Using reasoning about knowledge to analyse distributed systems. Annu Rev Comput Sci 2:37\u201368","journal-title":"Annu Rev Comput Sci"},{"key":"7_CR42","doi-asserted-by":"crossref","unstructured":"Hemaspaandra E (1990) The price of universality. Notre Dame J Form Log 37(2):174\u2013203","DOI":"10.1305\/ndjfl\/1040046086"},{"key":"7_CR43","volume-title":"Knowledge and belief: an introduction to the logic of the two notions","author":"J Hintikka","year":"1962","unstructured":"Hintikka J (1962) Knowledge and belief: an introduction to the logic of the two notions. Cornell University Press, Ithaca"},{"key":"7_CR44","doi-asserted-by":"crossref","unstructured":"Hoare CAR (1969) An axiomatic basis for computer programming. Commun ACM 12(10):567\u2013580, 583","DOI":"10.1145\/363235.363259"},{"key":"7_CR45","unstructured":"Jaspars J (1994) Calculi for constructive communication. PhD thesis, ITK, Tilburg and ILLC, Amsterdam"},{"key":"7_CR46","unstructured":"Kooi BP (2003) Knowledge, chance, and change. PhD thesis, Groningen University"},{"issue":"4","key":"7_CR47","doi-asserted-by":"publisher","first-page":"381","DOI":"10.1023\/A:1025050800836","volume":"12","author":"Barteld P Kooi","year":"2003","unstructured":"Kooi Barteld P (2003) Probabilistic dynamic epistemic logic. J Logic Lang Inform 12(4):381\u2013408","journal-title":"J Logic Lang Inform"},{"key":"7_CR48","doi-asserted-by":"publisher","first-page":"113","DOI":"10.1016\/0304-3975(81)90019-0","volume":"14","author":"D Kozen","year":"1981","unstructured":"Kozen D, Parikh R (1981) An elementary proof of the completeness of PDL. Theoret Comput Sci 14:113\u2013118","journal-title":"Theoret Comput Sci"},{"key":"7_CR49","unstructured":"Lewis DK (1969) Convention: a philosophical study. Harvard University Press, Cambridge"},{"key":"7_CR50","doi-asserted-by":"crossref","unstructured":"L\u00f6we B, Pacuit E, Witzel A (2011) Del planning and some tractable cases. In: Proceedings of the third international conference on logic, rationality, and interaction, LORI\u201911, pp 179\u2013192, Berlin, Heidelberg, 2011. Springer-Verlag","DOI":"10.1007\/978-3-642-24130-7_13"},{"key":"7_CR51","doi-asserted-by":"crossref","unstructured":"Martin L (2006) Model checking propositional dynamic logic with all extras. J Appl Logic 4(1):39\u201349","DOI":"10.1016\/j.jal.2005.08.002"},{"key":"7_CR52","doi-asserted-by":"crossref","unstructured":"McNulty G (1977) Fragments of first order logic, I: universal horn logic. J Symbolic Logic 42:221\u2013237","DOI":"10.2307\/2272123"},{"issue":"3","key":"7_CR53","doi-asserted-by":"publisher","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","volume":"79","author":"JS Miller","year":"2005","unstructured":"Miller JS, Moss LS (2005) The undecidability of iterated modal relativization. Stud Logica 79(3):373\u2013407","journal-title":"Stud Logica"},{"key":"7_CR54","first-page":"319","volume-title":"Formal theories of the commonsense world","author":"RC Moore","year":"1985","unstructured":"Moore RC (1985) A formal theory of knowledge and action. In: Hobbs JR, Moore RC (eds) Formal theories of the commonsense world. Ablex Publishing, Norwood, pp 319\u2013358"},{"key":"7_CR55","unstructured":"Osborne MJ, Rubinstein A (1994) A course in game theory. MIT Press, Cambridge"},{"key":"7_CR56","doi-asserted-by":"crossref","unstructured":"Panangaden P, Sadrzadeh M (2011) Learning in a changing world, an algebraic modal logical approach. In: Proceedings of the 13th international conference on algebraic methodology and software technology, AMAST\u201910, pp 128\u2013141, Berlin, Heidelberg, 2011. Springer-Verlag","DOI":"10.1007\/978-3-642-17796-5_8"},{"key":"7_CR57","unstructured":"Paris JB (1994) The uncertain reasoner\u2019s companion\u2014a mathematical perspective. Cambridge tracts in theoretical computer science, vol 39. Cambridge University Press, Cambridge"},{"key":"7_CR58","doi-asserted-by":"crossref","unstructured":"Perea A (2012) Epistemic game theory: reasoning and choice. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511844072"},{"key":"7_CR59","unstructured":"Plaza JA (1989) Logics of public communications. In: Emrich ML, Pfeifer MS, Hadzikadic M, Ras ZW (eds) Proceedings of the 4th international symposium on methodologies for intelligent systems, pp 201\u2013216"},{"key":"7_CR60","doi-asserted-by":"crossref","unstructured":"Pratt V (1976) Semantical considerations on Floyd-Hoare logic. In: Proceedings 17th IEEE symposium on foundations of computer, Science, pp 109\u2013121","DOI":"10.1109\/SFCS.1976.27"},{"key":"7_CR61","first-page":"36","volume-title":"Universal algebra and applications","author":"K Segerberg","year":"1982","unstructured":"Segerberg K (1982) A completeness theorem in the modal logic of programs. In: Traczyck T (ed) Universal algebra and applications. Polish Science Publications, Warsaw, pp 36\u201346"},{"key":"7_CR62","unstructured":"Sietsma F (2012) Logics of communication and knowledge. PhD thesis, ILLC, Amsterdam"},{"key":"7_CR63","doi-asserted-by":"crossref","unstructured":"Sietsma F, van Eijck J (2013) Action emulation between canonical models. J Philos Logic (accepted for publication)","DOI":"10.1007\/s10992-013-9298-y"},{"key":"7_CR64","unstructured":"Wang Y (2010) Epistemic modelling and protocol dynamics. PhD thesis, ILLC, Amsterdam"},{"key":"7_CR65","unstructured":"Wang Y, Li Y (2012) Not all those who wander are lost: dynamic epistemic reasoning in navigation. In: Proceedings of AIML 2012, Advances in Modal Logic, vol 9, 559\u2013580, College Publications"}],"container-title":["Outstanding Contributions to Logic","Johan van Benthem on Logic and Information Dynamics"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-06025-5_7","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:26:38Z","timestamp":1746354398000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_7"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":65,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_7","relation":{},"ISSN":["2211-2758","2211-2766"],"issn-type":[{"type":"print","value":"2211-2758"},{"type":"electronic","value":"2211-2766"}],"subject":[],"published":{"date-parts":[[2014]]},"assertion":[{"value":"27 August 2014","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}