{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,27]],"date-time":"2025-05-27T08:09:36Z","timestamp":1748333376568,"version":"3.38.0"},"publisher-location":"Berlin, Heidelberg","reference-count":13,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642241291"},{"type":"electronic","value":"9783642241307"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"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":[[2011]]},"DOI":"10.1007\/978-3-642-24130-7_24","type":"book-chapter","created":{"date-parts":[[2011,10,6]],"date-time":"2011-10-06T03:08:06Z","timestamp":1317870486000},"page":"328-341","source":"Crossref","is-referenced-by-count":3,"title":["Public Announcement Logic with Distributed Knowledge"],"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":"24_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.: Logics for epistemic programs. Synthese\u00a0139, 165\u2013224 (2004)","journal-title":"Synthese"},{"key":"24_CR2","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proc. of TARK VII, pp. 43\u201356 (1998)"},{"key":"24_CR3","series-title":"Int. Math. Series","doi-asserted-by":"publisher","first-page":"137","DOI":"10.1007\/0-387-31072-X_3","volume-title":"Math. Problems from Applied Logic I: Logics for the XXIst Century","author":"J. Benthem van","year":"2006","unstructured":"van Benthem, J.: Open problems in logical dynamics. In: Math. Problems from Applied Logic I: Logics for the XXIst Century. Int. Math. Series, vol.\u00a04, pp. 137\u2013192. Springer, Heidelberg (2006)"},{"key":"24_CR4","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. Springer, Heidelberg (2007)"},{"key":"24_CR5","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.: Reasoning about Knowledge. MIT Press, Cambridge (1995)"},{"issue":"2","key":"24_CR6","doi-asserted-by":"publisher","first-page":"328","DOI":"10.1145\/128749.150945","volume":"39","author":"R. Fagin","year":"1992","unstructured":"Fagin, R., Halpern, J., Vardi, M.: What can machines know? On the properties of knowledge in distributed systems. Journal of the ACM\u00a039(2), 328\u2013376 (1992)","journal-title":"Journal of the ACM"},{"key":"24_CR7","unstructured":"Gerbrandy, J.: Bisimulations on Planet Kripke. Ph.D. thesis, ILLC (1999)"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artif. Intell.\u00a054(3), 319\u2013379 (1992)","DOI":"10.1016\/0004-3702(92)90049-4"},{"issue":"2","key":"24_CR9","doi-asserted-by":"publisher","first-page":"193","DOI":"10.1142\/S0129054192000139","volume":"3","author":"W. Hoek van der","year":"1992","unstructured":"van der Hoek, W., Meyer, J.J.: Making some issues of implicit knowledge explicit. International Journal of Foundations of Computer Science\u00a03(2), 193\u2013224 (1992)","journal-title":"International Journal of Foundations of Computer Science"},{"key":"24_CR10","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1007\/978-1-4613-1139-3_2","volume-title":"Epistemic Logic and the Theory of Games and Decisions","author":"W. Hoek van der","year":"1997","unstructured":"van der Hoek, W., Meyer, J.J.: A complete epistemic logic for multiple agents: Combining distributed and common knowledge. In: Bacharach, M., Gerard-Varet, L., Mongin, P., Shin, H. (eds.) Epistemic Logic and the Theory of Games and Decisions, pp. 35\u201368. Kluwer, Dordrecht (1997)"},{"key":"24_CR11","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9780511569852","volume-title":"Epistemic Logic for AI and Computer Science","author":"J.J. Meyer","year":"1995","unstructured":"Meyer, J.J., van der Hoek, W.: Epistemic Logic for AI and Computer Science, vol.\u00a041. Cambridge University Press, Cambridge (1995)"},{"key":"24_CR12","unstructured":"Plaza, J.: Logics of public communications. In: Proc. of ISMIS, pp. 201\u2013216 (1989)"},{"key":"24_CR13","unstructured":"Roelofsen, F.: Distributed knowledge. J. of Applied Non-Classical Logics\u00a016 (2006)"}],"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-24130-7_24","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,3,12]],"date-time":"2025-03-12T14:11:47Z","timestamp":1741788707000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-24130-7_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642241291","9783642241307"],"references-count":13,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-24130-7_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2011]]}}}