{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,13]],"date-time":"2025-02-13T05:18:13Z","timestamp":1739423893605,"version":"3.37.0"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642048920"},{"type":"electronic","value":"9783642048937"}],"license":[{"start":{"date-parts":[[2009,1,1]],"date-time":"2009-01-01T00:00:00Z","timestamp":1230768000000},"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":[[2009]]},"DOI":"10.1007\/978-3-642-04893-7_21","type":"book-chapter","created":{"date-parts":[[2009,9,26]],"date-time":"2009-09-26T02:11:09Z","timestamp":1253931069000},"page":"263-277","source":"Crossref","is-referenced-by-count":16,"title":["Dynamic Epistemic Temporal Logic"],"prefix":"10.1007","author":[{"given":"Bryan","family":"Renne","sequence":"first","affiliation":[]},{"given":"Joshua","family":"Sack","sequence":"additional","affiliation":[]},{"given":"Audrey","family":"Yap","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","first-page":"369","volume-title":"Handbook on the Philosophy of Information","author":"A. Baltag","year":"2008","unstructured":"Baltag, A., van Ditmarsch, H.P., Moss, L.S.: Epistemic logic and information update. In: Adriaans, P., van Benthem, J. (eds.) Handbook on the Philosophy of Information, pp. 369\u2013463. Elsevier, Amsterdam (2008)"},{"issue":"2","key":"21_CR2","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, L.S.: Logics for epistemic programs. Synthese\u00a0139(2), 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"21_CR3","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicions. In: Gilboa, I. (ed.) TARK 1998, pp. 43\u201356 (1998)"},{"issue":"11","key":"21_CR4","doi-asserted-by":"publisher","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. Information and Computation\u00a0204(11), 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., Pacuit, E.: Merging frameworks for interaction. Journal of Philosophical Logic (in press, 2009)","DOI":"10.1007\/s10992-008-9099-x"},{"key":"21_CR6","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., Pacuit, E.: Merging frameworks for interaction: DEL and ETL. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK XI), pp. 72\u201381 (2007)","DOI":"10.1145\/1324249.1324262"},{"key":"21_CR7","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 University Press, Cambridge (2001)"},{"key":"21_CR8","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H. Ditmarsch van","year":"2007","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library. Springer, Heidelberg (2007)"},{"key":"21_CR9","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. MIT Press, Cambridge (1995)"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Hoshi, T., Yap, A.: Dynamic epistemic logic with branching temporal structures. Synthese (in press, 2009)","DOI":"10.1007\/s11229-009-9552-6"},{"key":"21_CR11","doi-asserted-by":"publisher","first-page":"453","DOI":"10.1023\/A:1025007018583","volume":"12","author":"R. Parikh","year":"2003","unstructured":"Parikh, R., Ramanujam, R.: A knowledge based semantics of messages. Journal of Logic, Language, and Information\u00a012, 453\u2013467 (2003)","journal-title":"Journal of Logic, Language, and Information"},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"Renne, B.: A survey of Dynamic Epistemic Logic. Manuscript (July 2008)","DOI":"10.1007\/978-3-642-04893-7_21"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"Renne, B., Sack, J., Yap, A.: Dynamic Epistemic Temporal Logic. Extended Manuscript (June 2009)","DOI":"10.1007\/978-3-642-04893-7_21"},{"issue":"2","key":"21_CR14","doi-asserted-by":"publisher","first-page":"183","DOI":"10.1007\/s10849-007-9054-1","volume":"17","author":"J. Sack","year":"2008","unstructured":"Sack, J.: Temporal languages for epistemic programs. Journal of Logic, Language, and Information\u00a017(2), 183\u2013216 (2008)","journal-title":"Journal of Logic, Language, and Information"},{"key":"21_CR15","unstructured":"Yap, A.: Dynamic epistemic logic and temporal modality. Forthcoming in Proceedings of Dynamic Logic Montr\u00e9al (2007)"}],"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-642-04893-7_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,12]],"date-time":"2025-02-12T11:02:21Z","timestamp":1739358141000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-04893-7_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009]]},"ISBN":["9783642048920","9783642048937"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-04893-7_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2009]]}}}