{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,1]],"date-time":"2025-05-01T16:11:05Z","timestamp":1746115865590,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642409479"},{"type":"electronic","value":"9783642409486"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-40948-6_21","type":"book-chapter","created":{"date-parts":[[2013,10,1]],"date-time":"2013-10-01T05:30:06Z","timestamp":1380605406000},"page":"267-281","source":"Crossref","is-referenced-by-count":0,"title":["Public Announcements, Private Actions and Common Knowledge in S5 Structures"],"prefix":"10.1007","author":[{"given":"Y\u00ec N.","family":"W\u00e1ng","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"\u00c5gotnes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT (1995)","DOI":"10.7551\/mitpress\/5803.001.0001"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Meyer, J.J.C., van der Hoek, W.: Epistemic Logic for AI and Computer Science. Cambridge Tracts in Theoretical Computer Science, vol.\u00a041. Cambridge University Press (1995)","DOI":"10.1017\/CBO9780511569852"},{"key":"21_CR3","unstructured":"Plaza, J.A.: Logics of public communications. In: Proceedings of ISMIS, pp. 201\u2013216 (1989)"},{"key":"21_CR4","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Gilboa, I. (ed.) Proceedings of TARK, pp. 43\u201356 (1998)"},{"key":"21_CR5","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, 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"21_CR6","unstructured":"van Benthem, J.F.A.K.: Information update as relativisation. Technical report, ILLC, University of Amsterdam (2000)"},{"key":"21_CR7","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J.F.A.K. Benthem van","year":"2006","unstructured":"van Benthem, J.F.A.K., van Eijck, J., Kooi, B.: Logics of communication and change. Information and Computation\u00a0204, 1620\u20131662 (2006)","journal-title":"Information and Computation"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: Logics for epistemic actions: Completeness, decidability, expressivity (2003) (manuscript)","DOI":"10.1007\/1-4020-4094-6_1"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Springer (2007)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press (2001)","DOI":"10.1017\/CBO9781107050884"},{"key":"21_CR11","unstructured":"Kooi, B., van Benthem, J.: Reduction axioms for epistemic actions. In: Schmidt, R., Pratt-Hartmann, I., Reynolds, M., Wansing, H. (eds.) Advances in Modal Logic, pp. 197\u2013211 (2004)"},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"231","DOI":"10.3166\/jancl.17.231-253","volume":"17","author":"B. Kooi","year":"2007","unstructured":"Kooi, B.: Expressivity and completeness for public update logics via reduction axioms. Journal of Applied Non-Classical Logics\u00a017, 231\u2013253 (2007)","journal-title":"Journal of Applied Non-Classical Logics"},{"key":"21_CR13","unstructured":"Baltag, A.: A logic of epistemic actions. In: van der Hoek, W., Meyer, J.J.C., Witteveen, C. (eds.) Proceedings of FACAS 1999, Utrecht University (1999)"},{"key":"21_CR14","unstructured":"Baltag, A., Moss, L.S., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. Technical report, SEN-R9922, CWI (1999)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Wang, Y., \u00c5gotnes, T.: Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese (2013), doi:10.1007\/s11229-012-0243-3","DOI":"10.1007\/s11229-012-0243-3"}],"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-40948-6_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,30]],"date-time":"2025-04-30T15:04:10Z","timestamp":1746025450000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-40948-6_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642409479","9783642409486"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-40948-6_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}