{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,26]],"date-time":"2025-03-26T21:22:42Z","timestamp":1743024162900,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":14,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662485606"},{"type":"electronic","value":"9783662485613"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"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":[[2015]]},"DOI":"10.1007\/978-3-662-48561-3_23","type":"book-chapter","created":{"date-parts":[[2015,10,28]],"date-time":"2015-10-28T13:39:12Z","timestamp":1446039552000},"page":"282-294","source":"Crossref","is-referenced-by-count":2,"title":["A General Framework for Modal Correspondence in Dynamic Epistemic Logic"],"prefix":"10.1007","author":[{"given":"Shota","family":"Motoura","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,11,19]]},"reference":[{"issue":"2","key":"23_CR1","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":"23_CR2","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of the 7th Conference on Theoretical Aspects of Rationality and Knowledge, pp. 43\u201356. Morgan Kaufmann Publishers Inc. (1998)"},{"key":"23_CR3","doi-asserted-by":"crossref","unstructured":"Kurz, A., Palmigiano, A.: Epistemic updates on algebras. Logical Methods in Computer Science\u00a09(4) (2013)","DOI":"10.2168\/LMCS-9(4:17)2013"},{"key":"23_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1007\/978-3-642-24130-7_14","volume-title":"Logic, Rationality, and Interaction","author":"M. Ma","year":"2011","unstructured":"Ma, M.: Mathematics of public announcements. In: van Ditmarsch, H., Lang, J., Ju, S. (eds.) LORI 2011. LNCS, vol.\u00a06953, pp. 193\u2013205. Springer, Heidelberg (2011)"},{"key":"23_CR5","unstructured":"Plaza, J.: Logics of public communications. In: Proceedings of the Fourth International Symposium on Methodologies for Intelligent Systems: Poster Session Program, pp. 201\u2013216. Oak Ridge National Laboratory (1989)"},{"issue":"2","key":"23_CR6","doi-asserted-by":"publisher","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. Journal of Applied Non-Classical Logics\u00a017(2), 129\u2013155 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"23_CR7","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Two logical faces of belief revision. In: Krister Segerberg on Logic of Actions, pp. 281\u2013300. Springer (2014)","DOI":"10.1007\/978-94-007-7046-1_13"},{"issue":"2","key":"23_CR8","doi-asserted-by":"publisher","first-page":"157","DOI":"10.3166\/jancl.17.157-182","volume":"17","author":"J. Benthem van","year":"2007","unstructured":"van Benthem, J., Liu, F.: Dynamic logic of preference upgrade. Journal of Applied Non-Classical Logics\u00a017(2), 157\u2013182 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"issue":"1-3","key":"23_CR9","doi-asserted-by":"publisher","first-page":"61","DOI":"10.1007\/s11225-011-9347-x","volume":"99","author":"J. Benthem van","year":"2011","unstructured":"van Benthem, J., Pacuit, E.: Dynamic logics of evidence-based beliefs. Studia Logica\u00a099(1-3), 61\u201392 (2011)","journal-title":"Studia Logica"},{"issue":"11","key":"23_CR10","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":"23_CR11","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), pp. 87\u2013117 (2008)"},{"key":"23_CR12","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"41","DOI":"10.1007\/978-3-642-29326-9_4","volume-title":"Games, Actions and Social Software","author":"H. Ditmarsch van","year":"2012","unstructured":"van Ditmarsch, H., van Eijck, J., Sietsma, F., Wang, Y.: On the logic of lying. In: van Eijck, J., Verbrugge, R. (eds.) Games, Actions and Social Software 2010. LNCS, vol.\u00a07010, pp. 41\u201372. Springer, Heidelberg (2012)"},{"key":"23_CR13","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/s11229-012-0233-5","volume":"190","author":"Y. Wang","year":"2013","unstructured":"Wang, Y., Cao, Q.: On axiomatizations of public announcement logic. Synthese\u00a0190, 103\u2013134 (2013)","journal-title":"Synthese"},{"key":"23_CR14","series-title":"Lecture Notes in Artificial Intelligence","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-540-69619-3_1","volume-title":"Computational Logic in Multi-Agent Systems","author":"T. Yamada","year":"2007","unstructured":"Yamada, T.: Acts of commanding and changing obligations. In: Inoue, K., Satoh, K., Toni, F. (eds.) CLIMA 2006. LNCS (LNAI), vol.\u00a04371, pp. 1\u201319. Springer, Heidelberg (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-662-48561-3_23","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,31]],"date-time":"2019-05-31T06:41:13Z","timestamp":1559284873000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-48561-3_23"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783662485606","9783662485613"],"references-count":14,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-48561-3_23","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]}}}