{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:40:09Z","timestamp":1739076009514,"version":"3.37.0"},"reference-count":12,"publisher":"Springer Science and Business Media LLC","issue":"2","license":[{"start":{"date-parts":[[2009,4,24]],"date-time":"2009-04-24T00:00:00Z","timestamp":1240531200000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Synthese"],"published-print":{"date-parts":[[2009,7]]},"DOI":"10.1007\/s11229-009-9552-6","type":"journal-article","created":{"date-parts":[[2009,4,23]],"date-time":"2009-04-23T14:06:46Z","timestamp":1240495606000},"page":"259-281","source":"Crossref","is-referenced-by-count":21,"title":["Dynamic epistemic logic with branching temporal structures"],"prefix":"10.1007","volume":"169","author":[{"given":"Tomohiro","family":"Hoshi","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Audrey","family":"Yap","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2009,4,24]]},"reference":[{"key":"9552_CR1","unstructured":"Baltag, A., Moss, L., & Solecki, S. (1998). The logic of public announcements, common knowledge and private suspicions. In I. Gilboa (Ed.) TARK 1998 (pp. 43\u201356)."},{"key":"9552_CR2","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., Moses Y., Vardi M. (1995) Reasoning about knowledge. MIT Press, Synthese Library. Boston"},{"key":"9552_CR3","unstructured":"Gerbrandy, J. (1999). Bisimulations on Planet Kripke. PhD thesis, ILLC."},{"key":"9552_CR4","unstructured":"Hoshi, T. (2008). Logics of public announcement with constrained protocols. LOFT."},{"key":"9552_CR5","doi-asserted-by":"crossref","first-page":"373","DOI":"10.1007\/s11225-005-3612-9","volume":"79","author":"J. Miller","year":"2005","unstructured":"Miller J., Moss L. (2005) The undecidability of iterated modal relativization. Studia Logica 79: 373\u2013407","journal-title":"Studia Logica"},{"key":"9552_CR6","doi-asserted-by":"crossref","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. Journal of Logic, Language, and Information 12: 453\u2013467","journal-title":"Journal of Logic, Language, and Information"},{"key":"9552_CR7","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511811654","volume-title":"Multiagent systems: Algorithmic, game-theoretic, and logical foundations","author":"Y. Shoham","year":"2008","unstructured":"Shoham Y., Leyton-Brown K. (2008) Multiagent systems: Algorithmic, game-theoretic, and logical foundations. Cambridge University Press, Cambridge"},{"key":"9552_CR8","doi-asserted-by":"crossref","unstructured":"van Benthem, J., Gerbrandy, J., Hoshi, T., & Pacuit, E. (2007). Merging frameworks for interaction: DEL and ETL.","DOI":"10.1145\/1324249.1324262"},{"issue":"11","key":"9552_CR9","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.J. (2006) Logic of communication and change. Information and Computation 204(11): 1620\u20131662","journal-title":"Information and Computation"},{"issue":"2","key":"9552_CR10","doi-asserted-by":"crossref","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H. Ditmarsch van","year":"2006","unstructured":"van Ditmarsch H., Kooi B. (2006) The secret of my success. Synthese 151(2): 201\u2013232","journal-title":"Synthese"},{"key":"9552_CR11","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., & Kooi, B. (2007). Dynamic Epistemi Logic, volume 337 of Synthese Library. Springer.","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"9552_CR12","unstructured":"Yap, A. (2007). Dynamic epistemic logic and temporal modality. Dynamic Logic Montr\u00e9al."}],"container-title":["Synthese"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9552-6.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/s11229-009-9552-6\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/s11229-009-9552-6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,2,9]],"date-time":"2025-02-09T04:15:19Z","timestamp":1739074519000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/s11229-009-9552-6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2009,4,24]]},"references-count":12,"journal-issue":{"issue":"2","published-print":{"date-parts":[[2009,7]]}},"alternative-id":["9552"],"URL":"https:\/\/doi.org\/10.1007\/s11229-009-9552-6","relation":{},"ISSN":["0039-7857","1573-0964"],"issn-type":[{"type":"print","value":"0039-7857"},{"type":"electronic","value":"1573-0964"}],"subject":[],"published":{"date-parts":[[2009,4,24]]}}}