{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T06:30:53Z","timestamp":1786602653098,"version":"build-2736575974"},"publisher-location":"Singapore","reference-count":18,"publisher":"Springer Nature Singapore","isbn-type":[{"value":"9789819524808","type":"print"},{"value":"9789819524815","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T00:00:00Z","timestamp":1759449600000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2025,10,3]],"date-time":"2025-10-03T00:00:00Z","timestamp":1759449600000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2026]]},"DOI":"10.1007\/978-981-95-2481-5_14","type":"book-chapter","created":{"date-parts":[[2025,10,2]],"date-time":"2025-10-02T09:06:54Z","timestamp":1759396014000},"page":"195-212","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Finitary Axiomatization of\u00a0Arbitrary Social Announcement Logic"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0009-0006-2849-9503","authenticated-orcid":false,"given":"Rui","family":"Zhu","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","published-online":{"date-parts":[[2025,10,3]]},"reference":[{"key":"14_CR1","doi-asserted-by":"crossref","unstructured":"\u00c5gotnes, T., Galimullin, R.: Quantifying over information change with common knowledge. Auton. Agent. Multi-Agent Syst. 37, 19 (2023)","DOI":"10.1007\/s10458-023-09601-0"},{"key":"14_CR2","doi-asserted-by":"publisher","first-page":"2","DOI":"10.1080\/11663081.2015.1011489","volume":"25","author":"P Balbiani","year":"2015","unstructured":"Balbiani, P.: Putting right the wording and the proof of the truth lemma for apal. J. Appl. Non-Classical Logics 25, 2\u201319 (2015)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"14_CR3","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.: Knowable \u2018as\u2019 known after an announcement. Rev. Symbolic Logic 1, 305\u2013334 (2008)","journal-title":"Rev. Symbolic Logic"},{"key":"14_CR4","first-page":"65","volume":"8","author":"P Balbiani","year":"2015","unstructured":"Balbiani, P., Ditmarsch, H.: A simple proof of the completeness of apal. Stud. Logic 8, 65\u201378 (2015)","journal-title":"Stud. Logic"},{"key":"14_CR5","doi-asserted-by":"publisher","first-page":"489","DOI":"10.1007\/s11225-018-9804-x","volume":"107","author":"A Baltag","year":"2019","unstructured":"Baltag, A., Christoff, Z., Rendsvig, R.K., Smets, S.: Dynamic epistemic logics of diffusion and prediction in social networks. Stud. Logica. 107, 489\u2013531 (2019)","journal-title":"Stud. Logica."},{"key":"14_CR6","doi-asserted-by":"crossref","unstructured":"Baltag, A., \u00a0\u00d6zg\u00fcn, A., Sandoval, A.L.V.: Arbitrary public announcement logic with memory. J. Philosophical Logic, \u00a01\u201358 (2022)","DOI":"10.1007\/s10992-022-09664-6"},{"key":"14_CR7","unstructured":"Christoff, Z.: A logic for social influence through communication. In: EUMAS, pp.\u00a031\u201339. Citeseer (2013)"},{"key":"14_CR8","doi-asserted-by":"publisher","first-page":"48","DOI":"10.1016\/j.jal.2014.11.011","volume":"13","author":"Z Christoff","year":"2015","unstructured":"Christoff, Z., Hansen, J.U.: A logic for diffusion in social networks. J. Appl. Log. 13, 48\u201377 (2015)","journal-title":"J. Appl. Log."},{"key":"14_CR9","first-page":"23","volume":"7","author":"T French","year":"2008","unstructured":"French, T., Ditmarsch, H.: Undecidability for arbitrary public announcement logic. Adv. Modal Logic 7, 23\u201342 (2008)","journal-title":"Adv. Modal Logic"},{"key":"14_CR10","doi-asserted-by":"publisher","first-page":"260","DOI":"10.4204\/EPTCS.379.21","volume":"379","author":"R Galimullin","year":"2023","unstructured":"Galimullin, R., Kuijer, L.B.: Satisfiability of arbitrary public announcement logic with common knowledge is $$\\sigma ^{1}_{1}$$-hard. Electron. Proc. Theoretical Comput. Sci. 379, 260\u2013271 (2023)","journal-title":"Electron. Proc. Theoretical Comput. Sci."},{"key":"14_CR11","unstructured":"Goldblatt, R.: Axiomatising the Logic of Computer Programming, Springer, Heidelberg (1982)"},{"key":"14_CR12","unstructured":"Kuijer, B.: Unsoundness of r$$\\Box $$ (2015). https:\/\/personal.us.es\/hvd\/APAL_counterexample.pdf"},{"key":"14_CR13","doi-asserted-by":"crossref","unstructured":"Seligman, J., Liu, F., Girard, P.: Logic in the community. In: Logic and Its Applications, pp.\u00a0178\u2013188. Springer (2011)","DOI":"10.1007\/978-3-642-18026-2_15"},{"key":"14_CR14","unstructured":"Seligman, J., \u00a0Liu, F., Girard, P.: Facebook and the epistemic logic of friendship. In: Schipper, B.C. (eds.) TARK 2013 (2013)"},{"key":"14_CR15","doi-asserted-by":"crossref","unstructured":"van Ditmarsch, H., \u00a0French, T.: Quantifying over boolean announcements. Logical Methods in Computer Science, vol.\u00a018 (2022)","DOI":"10.46298\/lmcs-18(1:20)2022"},{"key":"14_CR16","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1007\/s10849-019-09297-0","volume":"29","author":"Z Xiong","year":"2019","unstructured":"Xiong, Z., \u00c5gotnes, T.: On the logic of balance in social networks. J. Logic Lang. Inform. 29, 53\u201375 (2019)","journal-title":"J. Logic Lang. Inform."},{"key":"14_CR17","doi-asserted-by":"crossref","unstructured":"Xiong, Z., \u00a0\u00c5gotnes, T.: Arbitrary propositional network announcement logic. In: International Workshop on Dynamic Logic, pp.\u00a0277\u2013293. Springer (2020)","DOI":"10.1007\/978-3-030-65840-3_17"},{"key":"14_CR18","doi-asserted-by":"crossref","unstructured":"Xiong, Z., \u00a0\u00c5gotnes, T., \u00a0Seligman, J., \u00a0Zhu, R.: Towards a logic of tweeting. In: International Workshop on Logic, Rationality and Interaction, pp.\u00a049\u201364. Springer (2017)","DOI":"10.1007\/978-3-662-55665-8_4"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-981-95-2481-5_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2026,8,13]],"date-time":"2026-08-13T06:13:12Z","timestamp":1786601592000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-981-95-2481-5_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,10,3]]},"ISBN":["9789819524808","9789819524815"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-981-95-2481-5_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,10,3]]},"assertion":[{"value":"3 October 2025","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"The author has no competing interests to declare that are relevant to the content of this article.","order":1,"name":"Ethics","label":"Disclosure of Interests","group":{"name":"EthicsHeading","label":"Ethics"}},{"value":"LORI","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Logic, Rationality and Interaction","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Xi\u2019an","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"China","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2025","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"16 October 2025","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"19 October 2025","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2025","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"https:\/\/golori.org\/lori2025\/index.html","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}