{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:40:02Z","timestamp":1746355202447,"version":"3.40.4"},"publisher-location":"Cham","reference-count":61,"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":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2014,1,1]],"date-time":"2014-01-01T00:00:00Z","timestamp":1388534400000},"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":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-06025-5_9","type":"book-chapter","created":{"date-parts":[[2014,8,26]],"date-time":"2014-08-26T12:47:27Z","timestamp":1409057247000},"page":"235-266","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":0,"title":["Temporal Aspects of the Dynamics of Knowledge"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Goranko","sequence":"first","affiliation":[]},{"given":"Eric","family":"Pacuit","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2014,8,27]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes T, van Ditmarsch H (2014) Knowledge games and coalitional abilities. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 451\u2013485 (Chapter 16 in this volume)","DOI":"10.1007\/978-3-319-06025-5_16"},{"issue":"5","key":"9_CR2","doi-asserted-by":"publisher","first-page":"672","DOI":"10.1145\/585265.585270","volume":"49","author":"R Alur","year":"2002","unstructured":"Alur R, Henzinger TA, Kuperman O (2002) Alternating-time temporal logic. J ACM 49(5):672\u2013713","journal-title":"J ACM"},{"key":"9_CR3","unstructured":"Baltag A, Moss L, Solecki S (1998) The logic of common knowledge, public announcements and private suspicions. In: Gilboa I (ed) Proceedings of the 7th conference on theoretical aspects of rationality and knowledge (TARK 98), pp 43\u201356"},{"key":"9_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1305\/ndjfl\/1093870515","volume":"25","author":"J van Benthem","year":"1984","unstructured":"van Benthem J (1984) Tense logic and time. Notre Dame J. Formal Logic 25:1\u201316","journal-title":"Notre Dame J. Formal Logic"},{"issue":"11","key":"9_CR5","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"},{"issue":"5","key":"9_CR6","doi-asserted-by":"publisher","first-page":"491","DOI":"10.1007\/s10992-008-9099-x","volume":"38","author":"J van Benthem","year":"2009","unstructured":"van Benthem J, Gerbrandy J, Hoshi T, Pacuit E (2009) Merging frameworks of interaction. J Philos Logic 38(5):491\u2013526","journal-title":"J Philos Logic"},{"key":"9_CR7","unstructured":"van Benthem J (1993) The logic of time, 2nd edn. Kluwer Academic Publishers, Dordrecht"},{"key":"9_CR8","doi-asserted-by":"crossref","unstructured":"van Benthem J (1995) Temporal logic, Oxford University Press, Oxford, pp 241\u2013350","DOI":"10.1093\/oso\/9780198537915.003.0005"},{"key":"9_CR9","unstructured":"van Benthem J (1996) Exploring logical dynamics. Center for the study of language and information, Stanford"},{"key":"9_CR10","doi-asserted-by":"crossref","unstructured":"van Benthem J (2001) Games in dynamic-epistemic logic. Bull Econ Res 53(4):219\u2013248","DOI":"10.1111\/1467-8586.00133"},{"key":"#cr-split#-9_CR11.1","doi-asserted-by":"crossref","unstructured":"van Benthem J (2001) Logics for information update. In: van Benthem J","DOI":"10.1017\/CBO9780511492358.008"},{"key":"#cr-split#-9_CR11.2","unstructured":"(ed) Proceedings of TARK 2001, Morgan Kaufmann, San Francisco, pp 51-67"},{"key":"9_CR12","doi-asserted-by":"crossref","unstructured":"van Benthem J (2002) \u2018One is a lonely number\u2019: on the logic of communication. In: Chatzidakis Z, Koepke P, Pohlers W (eds) Logic colloquium \u201802, pp 96\u2013129. ASL and A. K. Peters, Available at http:\/\/staff.science.uva.nl\/~johan\/Muenster.pdf","DOI":"10.1017\/9781316755723.006"},{"key":"9_CR13","doi-asserted-by":"crossref","unstructured":"van Benthem J (2004) What one may come to know. Analysis 64(2):95\u2013105","DOI":"10.1093\/analys\/64.2.95"},{"key":"9_CR14","doi-asserted-by":"crossref","unstructured":"van Benthem J (2011) Logical dynamics of information and interaction. Cambridge University Press, Cambridge","DOI":"10.1017\/CBO9780511974533"},{"key":"9_CR15","doi-asserted-by":"crossref","unstructured":"van Benthem J (2013) Reasoning about strategies. In: Coecke B, Ong L, Panagaden P (eds) Abramsky festrschrift, LNCS, vol 7860, pp 336\u2013347","DOI":"10.1007\/978-3-642-38164-5_23"},{"key":"9_CR16","doi-asserted-by":"crossref","unstructured":"van Benthem J (2013) Logic in games. The MIT Press, Cambridge","DOI":"10.7551\/mitpress\/9674.001.0001"},{"key":"9_CR17","unstructured":"van Benthem J, Pacuit E (2006) The tree of knowledge in action: towards a common perspective. In: Advances in modal logic, pp 87\u2013106"},{"key":"9_CR18","doi-asserted-by":"crossref","unstructured":"van Benthem J, Pacuit E (2014) Connecting logics of choice and change. In: Nuel Belnap on indeterminism and free action, outstanding contributions to logic, vol 2, pp 291\u2013314","DOI":"10.1007\/978-3-319-01754-9_14"},{"key":"9_CR19","doi-asserted-by":"crossref","unstructured":"Bezhanishvili N, van der Hoek W (2014) Structures for epistemic logic. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 339\u2013380 (Chapter 12 in this volume)","DOI":"10.1007\/978-3-319-06025-5_12"},{"key":"9_CR20","doi-asserted-by":"crossref","unstructured":"Blackburn P, de Rijke M, Yde V (2002) Modal logic, Campbridge University Press, Campbridge","DOI":"10.1017\/CBO9781107050884"},{"key":"9_CR21","doi-asserted-by":"publisher","first-page":"237","DOI":"10.1016\/j.geb.2003.06.002","volume":"47","author":"G Bonanno","year":"2004","unstructured":"Bonanno G (2004) Memory and perfect recall in extensive games. Games Econ Behav 47:237\u2013256","journal-title":"Games Econ Behav"},{"key":"9_CR22","doi-asserted-by":"crossref","unstructured":"Bonanno G (2012) Belief change in branching time: AGM-consistency and iterated revision. J Philos Logic 41(1):201\u2013236","DOI":"10.1007\/s10992-011-9202-6"},{"key":"9_CR23","doi-asserted-by":"crossref","unstructured":"Bonanno G, D\u00e9gremont C (2014) Logic and game theory. In: Baltag\u00a0A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 421\u2013449 (Chapter 15 in this volume)","DOI":"10.1007\/978-3-319-06025-5_15"},{"key":"9_CR24","unstructured":"D\u00e9gremont C (2010) The temporal mind. Observations on the logic of belief change in interactive systems. Ph. D. thesis, Institute for Logic, Language and Computation (DS-2010-03)"},{"key":"9_CR25","doi-asserted-by":"crossref","unstructured":"D\u00e9gremont C, L\u00f6we B, Witzel A (2011) The synchronicity of dynamic epistemic logic. In: Proceedings of TARK\u20192011, pp 145\u2013152","DOI":"10.1145\/2000378.2000395"},{"key":"9_CR26","doi-asserted-by":"crossref","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. Springer, Dordecht"},{"key":"9_CR27","doi-asserted-by":"crossref","unstructured":"van Ditmarsch H, van der Hoek W, Ruan J (2012) Connecting dynamic epistemic and temporal epistemic logics. J IGPL (to appear)","DOI":"10.1093\/jigpal\/jzr038"},{"key":"9_CR28","doi-asserted-by":"crossref","unstructured":"van Eijck J (2014) Dynamic epistemic logics. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 175\u2013202 (Chapter 7 in this volume)","DOI":"10.1007\/978-3-319-06025-5_7"},{"issue":"2","key":"9_CR29","doi-asserted-by":"publisher","first-page":"233","DOI":"10.1305\/ndjfl\/1040046088","volume":"37","author":"J Engelfriet","year":"1996","unstructured":"Engelfriet J (1996) Minimal temporal epistemic logic. Notre Dame J Formal Logic 37(2):233\u2013259","journal-title":"Notre Dame J Formal Logic"},{"key":"9_CR30","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 JY, Moses Y, Vardi MY (1995) Reasoning about knowledge. The MIT Press, Boston"},{"key":"9_CR31","doi-asserted-by":"crossref","unstructured":"Fagin R, Halpern JY, Vardi MY (1992) What can machines know? On the properties of knowledge in distributed systems. J ACM 39(2):328\u2013376","DOI":"10.1145\/128749.150945"},{"key":"9_CR32","doi-asserted-by":"publisher","first-page":"203","DOI":"10.1007\/BF00156915","volume":"1","author":"M Finger","year":"1992","unstructured":"Finger M, Gabbay DM (1992) Adding a temporal dimension to a logic system. J Logic, Lang Inf 1:203\u2013233","journal-title":"J Logic, Lang Inf"},{"key":"9_CR33","unstructured":"Gabbay DM, Kurucz A, Wolter F, Zakharyaschev M (2003) Many-dimensional modal logics: theory and applications, Vol 148. Elsevier, Amsterdam"},{"key":"9_CR34","doi-asserted-by":"crossref","unstructured":"Girard P, Rott H (2014) Belief revision and dynamic logic. In: Baltag A, Smets S (eds) Johan van Benthem on Logic and Information Dynamics, Springer, Dordrecht, pp 203\u2013233 (Chapter 8 in this volume)","DOI":"10.1007\/978-3-319-06025-5_8"},{"key":"9_CR35","unstructured":"Goranko V (2012) Modelling the dynamics of knowledge and strategic abilities of players in multi-player games. In: Work in progress, Technical University of Denmark, Kongens Lyngby"},{"issue":"2","key":"9_CR36","doi-asserted-by":"publisher","first-page":"241","DOI":"10.1023\/B:SYNT.0000024915.66183.d1","volume":"139","author":"V Goranko","year":"2004","unstructured":"Goranko V, Jamroga W (2004) Comparing semantics of logics for multi-agent systems. Synthese 139(2):241\u2013280","journal-title":"Synthese"},{"key":"9_CR37","unstructured":"Goranko V, Hawke P (2010) On the dynamics of information and abilities of players in multi-player games. In: Proceedings of LOFT\u20192010"},{"key":"9_CR38","unstructured":"Goranko V, Shkatov D (2009) Tableau-based decision procedure for full coalitional multiagent temporal-epistemic logic of linear time. In: Decker K, Sichman J, Sierra C, Castelfranchi C (eds) Proceedings of AAMAS\u20192009"},{"key":"9_CR39","unstructured":"Goranko V, Shkatov D (2009) Tableau-based decision procedure for the full coalitional multiagent logic of branching time. In: Baldoni et al M (eds) MALLOW\u20192009"},{"key":"9_CR40","doi-asserted-by":"crossref","unstructured":"Halpern JY, Vardi MY (1988) Reasoning about knowledge and time in asynchronous systems. In: Simon J (ed) Proceedings of STOC\u20191988, ACM, pp 53\u201365","DOI":"10.1145\/62212.62218"},{"key":"9_CR41","doi-asserted-by":"publisher","first-page":"37","DOI":"10.1146\/annurev.cs.02.060187.000345","volume":"2","author":"JY Halpern","year":"1987","unstructured":"Halpern JY (1987) Using reasoning about knowledge to analyze distributed systems. Ann Rev Comput Sci 2:37\u201368","journal-title":"Ann Rev Comput Sci"},{"issue":"1","key":"9_CR42","doi-asserted-by":"publisher","first-page":"195","DOI":"10.1016\/0022-0000(89)90039-1","volume":"38","author":"JY Halpern","year":"1989","unstructured":"Halpern JY, Vardi MY (1989) The complexity of reasoning about knowledge and time i: lower bounds. J Comput Syst Sci 38(1):195\u2013237","journal-title":"J Comput Syst Sci"},{"key":"9_CR43","doi-asserted-by":"crossref","unstructured":"Halpern JY, Moses Yoram (1990) Knowledge and common knowledge in a distributed environment. J ACM 37(3):549\u2013587","DOI":"10.1145\/79147.79161"},{"issue":"2","key":"9_CR44","doi-asserted-by":"publisher","first-page":"674","DOI":"10.1137\/S0097539797320906","volume":"33","author":"JY Halpern","year":"2004","unstructured":"Halpern JY, van der Meyden R, Vardi M (2004) Complete axiomatizations for reasoning about knowledge and time. SIAM J Comput 33(2):674\u2013703","journal-title":"SIAM J Comput"},{"key":"9_CR45","unstructured":"Hintikka J (1962) Knowledge and belief: an introduciton to the logic of the two notions. Cornell University Press, Ithaca"},{"issue":"1","key":"9_CR46","doi-asserted-by":"publisher","first-page":"125","DOI":"10.1023\/A:1026185103185","volume":"75","author":"W van der Hoek","year":"2003","unstructured":"van der Hoek W, Wooldridge M (2003) Cooperation, knowledge, and time: alternating-time temporal epistemic logic and its applications. Stud Logica 75(1):125\u2013157","journal-title":"Stud Logica"},{"issue":"2","key":"9_CR47","doi-asserted-by":"publisher","first-page":"259","DOI":"10.1007\/s11229-009-9552-6","volume":"169","author":"T Hoshi","year":"2009","unstructured":"Hoshi T, Yap A (2009) Dynamic epistemic logic with branching temporal structures. Synthese 169(2):259\u2013281","journal-title":"Synthese"},{"issue":"1","key":"9_CR48","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1023\/A:1026181001368","volume":"75","author":"R van der Meyden","year":"2003","unstructured":"van der Meyden R, Wong K-S (2003) Complete axiomatizations for reasoning about knowledge and branching time. Stud Logica 75(1):93\u2013123","journal-title":"Stud Logica"},{"key":"9_CR49","unstructured":"van Otterloo S (2005) A strategic analaysis of multi-agent protocols. Ph. D. thesis, Institute for Logic, Language and Computation"},{"issue":"4","key":"9_CR50","doi-asserted-by":"publisher","first-page":"613","DOI":"10.1016\/j.jal.2006.03.012","volume":"5","author":"E Pacuit","year":"2007","unstructured":"Pacuit E (2007) Some comments on history based structures. J Appl Logic 5(4):613\u2013624","journal-title":"J Appl Logic"},{"key":"9_CR51","doi-asserted-by":"publisher","first-page":"412","DOI":"10.1017\/S1755020311000190","volume":"4","author":"E Pacuit","year":"2012","unstructured":"Pacuit E, Simon S (2012) Reasoning with protocols under imperfect information. Rev Symbolic Logic 4:412\u2013444","journal-title":"Rev Symbolic Logic"},{"key":"9_CR52","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R Parikh","year":"2003","unstructured":"Parikh R, Ramanujam R (2003) A knowledge based semantics of messages. J Logic, Lang Inf 12:453\u2013467","journal-title":"J Logic, Lang Inf"},{"key":"9_CR53","doi-asserted-by":"crossref","unstructured":"Parikh R, Ramanujam R (1985) Distributed processes and the logic of knowledge. In: Logic of programs. Lecture notes in computer science, Vol 193. Springer, New York, pp 256\u2013268","DOI":"10.1007\/3-540-15648-8_21"},{"key":"9_CR54","doi-asserted-by":"crossref","unstructured":"Prior AN (1967) Past, present and future. Oxford University Press, Oxford","DOI":"10.1093\/acprof:oso\/9780198243113.001.0001"},{"key":"9_CR55","doi-asserted-by":"crossref","unstructured":"Renne B, Sack J, Yap A (2009) Dynamic epistemic temporal logic. In: Proceedings of LORI, pp 263\u2013277","DOI":"10.1007\/978-3-642-04893-7_21"},{"key":"9_CR56","doi-asserted-by":"crossref","unstructured":"Renne B, Sack J, Yap A (2010) Dynamic epistemic temporal logic","DOI":"10.1007\/978-3-642-04893-7_21"},{"key":"9_CR57","unstructured":"Sack J (2007) Adding temporal logic to dynamic epistemic logic. PhD thesis, Indiana University, Bloomington"},{"issue":"2","key":"9_CR58","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10849-007-9054-1","volume":"17","author":"J Sack","year":"2008","unstructured":"Sack J (2008) Temporal languages for epistemic programs. J Logic, Lang Inf 17(2):183\u2013216","journal-title":"J Logic, Lang Inf"},{"issue":"12","key":"9_CR59","doi-asserted-by":"publisher","first-page":"1431","DOI":"10.1016\/j.apal.2010.04.011","volume":"161","author":"J Sack","year":"2010","unstructured":"Sack J (2010) Logic for update products and steps into the past. Ann Pure Appl Logic 161(12):1431\u20131461","journal-title":"Ann Pure Appl Logic"},{"key":"9_CR60","doi-asserted-by":"crossref","unstructured":"Schobbens P-Y (2004) Alternating-time logic with imperfect recall. Electron Notes Theoret Comput Sci, 85(2):82\u201393","DOI":"10.1016\/S1571-0661(05)82604-0"}],"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_9","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T10:26:34Z","timestamp":1746354394000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-06025-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319060248","9783319060255"],"references-count":61,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-06025-5_9","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"}}]}}