{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T20:40:02Z","timestamp":1748637602633,"version":"3.41.0"},"publisher-location":"Cham","reference-count":15,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319251493"},{"type":"electronic","value":"9783319251509"}],"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":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-25150-9_17","type":"book-chapter","created":{"date-parts":[[2015,9,25]],"date-time":"2015-09-25T11:42:36Z","timestamp":1443181356000},"page":"272-289","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":3,"title":["Asynchronous Announcements in a Public Channel"],"prefix":"10.1007","author":[{"given":"Sophia","family":"Knight","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bastien","family":"Maubert","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Fran\u00e7ois","family":"Schwarzentruber","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,12,25]]},"reference":[{"key":"17_CR1","volume-title":"Principles of Model Checking","author":"C Baier","year":"2008","unstructured":"Baier, C., Katoen, J.-P.: Principles of Model Checking. MIT Press, Cambridge (2008)"},{"key":"17_CR2","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H.P., Herzig, A., Hoshi, T., De Lima, T.: What can we achieve by arbitrary announcements?: A dynamic take on Fitch\u2019s knowability. In: Proceedings of the 11th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2007), Brussels, Belgium, June 25\u201327, 2007, pp. 42\u201351 (2007)"},{"issue":"1","key":"17_CR3","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1093\/logcom\/exn060","volume":"20","author":"P Balbiani","year":"2010","unstructured":"Balbiani, P., van Ditmarsch, H., Herzig, A., De Lima, T.: Tableaux for public announcement logic. J. Log. Comput. 20(1), 55\u201376 (2010)","journal-title":"J. Log. Comput."},{"key":"17_CR4","unstructured":"D\u00e9gremont, C., L\u00f6we, B., Witzel, A.: The synchronicity of dynamic epistemic logic. In: Proceedings of the 13th Conference on Theoretical Aspects of Rationality and Knowledge (TARK-2011), Groningen, The Netherlands, July 12\u201314, 2011, pp. 145\u2013152 (2011)"},{"key":"17_CR5","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/5803.001.0001","volume-title":"Reasoning About Knowledge","author":"R Fagin","year":"2004","unstructured":"Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning About Knowledge. The MIT Press, Cambridge (2004)"},{"key":"17_CR6","unstructured":"French, T., van Ditmarsch, H.P.: Undecidability for arbitrary public announcement logic. In: Advances in Modal Logic 7, Papers From the Seventh Conference on \u201cAdvances in Modal Logic,\u201d held in Nancy, France, 9\u201312 September 2008, pp. 23\u201342 (2008)"},{"key":"17_CR7","doi-asserted-by":"crossref","unstructured":"Jones, B.D.: Bounded rationality. In: Annual Review of Political Science, pp. 2\u2013297 (1999)","DOI":"10.1146\/annurev.polisci.2.1.297"},{"issue":"7","key":"17_CR8","doi-asserted-by":"publisher","first-page":"558","DOI":"10.1145\/359545.359563","volume":"21","author":"L Lamport","year":"1978","unstructured":"Lamport, L.: Time, clocks, and the ordering of events in a distributed system. Commun. ACM 21(7), 558\u2013565 (1978)","journal-title":"Commun. ACM"},{"key":"17_CR9","doi-asserted-by":"crossref","unstructured":"Lutz, C.: Complexity and succinctness of public announcement logic. In: 5th International Joint Conference on Autonomous Agents and Multiagent Systems (AAMAS 2006), Hakodate, Japan, May 8\u201312, 2006, pp. 137\u2013143 (2006)","DOI":"10.1145\/1160633.1160657"},{"issue":"2","key":"17_CR10","doi-asserted-by":"publisher","first-page":"73","DOI":"10.1007\/BF02252679","volume":"6","author":"P Panangaden","year":"1992","unstructured":"Panangaden, P., Taylor, K.: Concurrent common knowledge: Defining agreement for asynchronous systems. Distrib. Comput. 6(2), 73\u201393 (1992)","journal-title":"Distrib. Comput."},{"issue":"2","key":"17_CR11","doi-asserted-by":"publisher","first-page":"165","DOI":"10.1007\/s11229-007-9168-7","volume":"158","author":"J Plaza","year":"2007","unstructured":"Plaza, J.: Logics of public communications. Synthese 158(2), 165\u2013179 (2007)","journal-title":"Synthese"},{"issue":"2","key":"17_CR12","doi-asserted-by":"publisher","first-page":"285","DOI":"10.2140\/pjm.1955.5.285","volume":"5","author":"A Tarski","year":"1955","unstructured":"Tarski, A., et al.: A lattice-theoretical fixpoint theorem and its applications. Pac. J. Math. 5(2), 285\u2013309 (1955)","journal-title":"Pac. J. Math."},{"key":"17_CR13","unstructured":"van Ditmarsch, H., French, T., Hales, J.: Positive announcements (under submission)"},{"key":"17_CR14","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.P.: Dynamic epistemic logic, vol. 337. Springer Science and Business Media (2007)","DOI":"10.1007\/978-1-4020-5839-4"},{"key":"17_CR15","series-title":"Foundation of computing series","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/3054.001.0001","volume-title":"The formal semantics of programming languages - an introduction","author":"G Winskel","year":"1993","unstructured":"Winskel, G.: The formal semantics of programming languages - an introduction. Foundation of computing series. MIT Press, Amsterdam (1993)"}],"container-title":["Lecture Notes in Computer Science","Theoretical Aspects of Computing - ICTAC 2015"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-25150-9_17","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,30]],"date-time":"2025-05-30T20:17:08Z","timestamp":1748636228000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-25150-9_17"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319251493","9783319251509"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-25150-9_17","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"25 December 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}