{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:16:55Z","timestamp":1760203015205,"version":"3.40.5"},"publisher-location":"Cham","reference-count":33,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783030658397"},{"type":"electronic","value":"9783030658403"}],"license":[{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2020,1,1]],"date-time":"2020-01-01T00:00:00Z","timestamp":1577836800000},"content-version":"vor","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":[[2020]]},"DOI":"10.1007\/978-3-030-65840-3_8","type":"book-chapter","created":{"date-parts":[[2020,12,21]],"date-time":"2020-12-21T09:04:02Z","timestamp":1608541442000},"page":"120-136","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Expressivity of Some Versions of APAL"],"prefix":"10.1007","author":[{"ORCID":"https:\/\/orcid.org\/0000-0003-4526-8687","authenticated-orcid":false,"given":"Hans","family":"van Ditmarsch","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Mo","family":"Liu","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0001-6696-9023","authenticated-orcid":false,"given":"Louwe B.","family":"Kuijer","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"ORCID":"https:\/\/orcid.org\/0000-0002-1942-7982","authenticated-orcid":false,"given":"Igor","family":"Sedl\u00e1r","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2020,12,22]]},"reference":[{"key":"8_CR1","doi-asserted-by":"publisher","first-page":"62","DOI":"10.1016\/j.jal.2008.12.002","volume":"8","author":"T \u00c5gotnes","year":"2010","unstructured":"\u00c5gotnes, T., Balbiani, P., van Ditmarsch, H., Seban, P.: Group announcement logic. J. Appl. Logic 8, 62\u201381 (2010)","journal-title":"J. Appl. Logic"},{"issue":"4","key":"8_CR2","doi-asserted-by":"publisher","first-page":"597","DOI":"10.1007\/s11225-016-9657-0","volume":"104","author":"T \u00c5gotnes","year":"2016","unstructured":"\u00c5gotnes, T., van Ditmarsch, H., French, T.: The undecidability of quantified announcements. Studia Logica 104(4), 597\u2013640 (2016)","journal-title":"Studia Logica"},{"key":"8_CR3","series-title":"Outstanding Contributions to Logic","doi-asserted-by":"publisher","first-page":"855","DOI":"10.1007\/978-3-319-06025-5_33","volume-title":"Johan van Benthem on Logic and Information Dynamics","author":"G Aucher","year":"2014","unstructured":"Aucher, G.: Dynamic epistemic logic as a substructural logic. In: Baltag, A., Smets, S. (eds.) Johan van Benthem on Logic and Information Dynamics. OCL, vol. 5, pp. 855\u2013880. Springer, Cham (2014). https:\/\/doi.org\/10.1007\/978-3-319-06025-5_33"},{"key":"8_CR4","unstructured":"Aucher, G., Bolander, T.: Undecidability in epistemic planning. In: Rossi, F. (ed.) Proceedings of 23rd IJCAI, pp. 27\u201333 (2013)"},{"issue":"6","key":"8_CR5","doi-asserted-by":"publisher","first-page":"1913","DOI":"10.1093\/logcom\/exw002","volume":"26","author":"G Aucher","year":"2016","unstructured":"Aucher, G.: Dynamic epistemic logic in update logic. J. Logic Comput. 26(6), 1913\u20131960 (2016)","journal-title":"J. Logic Comput."},{"issue":"6","key":"8_CR6","doi-asserted-by":"publisher","first-page":"1236","DOI":"10.1214\/aos\/1176343654","volume":"4","author":"R Aumann","year":"1976","unstructured":"Aumann, R.: Agreeing to disagree. Ann. Stat. 4(6), 1236\u20131239 (1976)","journal-title":"Ann. Stat."},{"issue":"3","key":"8_CR7","doi-asserted-by":"publisher","first-page":"305","DOI":"10.1017\/S1755020308080210","volume":"1","author":"P Balbiani","year":"2008","unstructured":"Balbiani, P., Baltag, A., van Ditmarsch, H., Herzig, A., Hoshi, T., Lima, T.D.: \u2018Knowable\u2019 as \u2018known after an announcement\u2019. Rev. Symbolic Logic 1(3), 305\u2013334 (2008)","journal-title":"Rev. Symbolic Logic"},{"issue":"1","key":"8_CR8","first-page":"65","volume":"8","author":"P Balbiani","year":"2015","unstructured":"Balbiani, P., van Ditmarsch, H.: A simple proof of the completeness of APAL. Stud. Logic 8(1), 65\u201378 (2015)","journal-title":"Stud. Logic"},{"key":"8_CR9","unstructured":"Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge, and private suspicions. In: Proceedings of 7th TARK, pp. 43\u201356. Morgan Kaufmann (1998)"},{"key":"8_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"106","DOI":"10.1007\/978-3-662-57669-4_6","volume-title":"Logic, Language, Information, and Computation","author":"A Baltag","year":"2018","unstructured":"Baltag, A., \u00d6zg\u00fcn, A., Vargas Sandoval, A.L.: APAL with memory is better. In: Moss, L.S., de Queiroz, R., Martinez, M. (eds.) WoLLIC 2018. LNCS, vol. 10944, pp. 106\u2013129. Springer, Heidelberg (2018). https:\/\/doi.org\/10.1007\/978-3-662-57669-4_6"},{"key":"8_CR11","doi-asserted-by":"crossref","unstructured":"van Benthem, J.: Semantic parallels in natural language and computation. In: Logic Colloquium \u201987. North-Holland, Amsterdam (1989)","DOI":"10.1016\/S0049-237X(08)70133-2"},{"key":"8_CR12","doi-asserted-by":"crossref","first-page":"15","DOI":"10.1163\/9789004454149_004","volume-title":"Meaning: The Dynamic Turn","author":"J van Benthem","year":"2003","unstructured":"van Benthem, J.: Structural properties of dynamic reasoning. In: Peregrin, J. (ed.) Meaning: The Dynamic Turn, pp. 15\u201331. Elsevier, Amsterdam (2003)"},{"key":"8_CR13","first-page":"182","volume":"6","author":"J van Benthem","year":"2008","unstructured":"van Benthem, J.: Logical dynamics meets logical pluralism? Austr. J. Logic 6, 182\u2013209 (2008)","journal-title":"Austr. J. Logic"},{"key":"8_CR14","doi-asserted-by":"publisher","DOI":"10.1017\/CBO9781107050884","volume-title":"Modal Logic","author":"P Blackburn","year":"2001","unstructured":"Blackburn, P., de Rijke, M., Venema, Y.: Modal Logic. Cambridge University Press, Cambridge (2001)"},{"issue":"1","key":"8_CR15","doi-asserted-by":"publisher","first-page":"9","DOI":"10.3166\/jancl.21.9-34","volume":"21","author":"T Bolander","year":"2011","unstructured":"Bolander, T., Andersen, M.: Epistemic planning for single and multi-agent systems. J. Appl. Non-classical Logics 21(1), 9\u201334 (2011)","journal-title":"J. Appl. Non-classical Logics"},{"key":"8_CR16","unstructured":"Charrier, T., Schwarzentruber, F.: Arbitrary public announcement logic with mental programs. In: Proceedings of AAMAS, pp. 1471\u20131479. ACM (2015)"},{"key":"8_CR17","unstructured":"van Ditmarsch, H., French, T.: Quantifying over Boolean announcements (2018). https:\/\/arxiv.org\/abs\/1712.05310"},{"key":"8_CR18","doi-asserted-by":"publisher","unstructured":"van Ditmarsch, H., French, T., Hales, J.: Positive announcements. Studia Logica (2020). https:\/\/doi.org\/10.1007\/s11225-020-09922-1, https:\/\/arxiv.org\/abs\/1803.01696","DOI":"10.1007\/s11225-020-09922-1"},{"key":"8_CR19","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H van Ditmarsch","year":"2006","unstructured":"van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 151, 201\u2013232 (2006)","journal-title":"Synthese"},{"key":"8_CR20","doi-asserted-by":"crossref","unstructured":"Dunn, J.M., Restall, G.: Relevance logic. In: Gabbay, D.M., Guenthner, F. (eds.) Handbook of Philosophical Logic, 2nd edn., vol. 6, pp. 1\u2013128. Kluwer (2002)","DOI":"10.1007\/978-94-017-0460-1_1"},{"key":"8_CR21","unstructured":"van Emde Boas, P., Groenendijk, J., Stokhof, M.: The Conway paradox: its solution in an epistemic framework. Truth Interpretation and Information, pp. 159\u2013182. Foris Publications, Dordrecht (1984)"},{"key":"8_CR22","unstructured":"French, T., van Ditmarsch, H.: Undecidability for arbitrary public announcement logic. In: Advances in Modal Logic 7, pp. 23\u201342. College Publications (2008)"},{"key":"8_CR23","unstructured":"Galimullin, R.: Coalition announcements. Ph.D. thesis, University of Nottingham, UK (2019)"},{"key":"8_CR24","doi-asserted-by":"publisher","first-page":"147","DOI":"10.1023\/A:1008222603071","volume":"6","author":"J Gerbrandy","year":"1997","unstructured":"Gerbrandy, J., Groeneveld, W.: Reasoning about information change. J. Logic Lang. Inf. 6, 147\u2013169 (1997)","journal-title":"J. Logic Lang. Inf."},{"key":"8_CR25","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1080\/00455091.1977.10716173","volume":"7","author":"R Hilpinen","year":"1977","unstructured":"Hilpinen, R.: Remarks on personal and impersonal knowledge. Can. J. Philos. 7, 1\u20139 (1977)","journal-title":"Can. J. Philos."},{"key":"8_CR26","unstructured":"Hintikka, J.: Knowledge and Belief. Cornell University Press (1962)"},{"key":"8_CR27","volume-title":"Formalizing Common Sense: Papers by John McCarthy","author":"J McCarthy","year":"1990","unstructured":"McCarthy, J.: Formalization of two puzzles involving knowledge. In: Lifschitz, V. (ed.) Formalizing Common Sense: Papers by John McCarthy. Ablex Publishing Corporation, Norwood (1990)"},{"key":"8_CR28","unstructured":"Moore, G.: A reply to my critics. In: Schilpp, P. (ed.) The Philosophy of G.E. Moore, pp. 535\u2013677. Northwestern University, Evanston (1942)"},{"issue":"3","key":"8_CR29","doi-asserted-by":"publisher","first-page":"167","DOI":"10.1007\/BF01661170","volume":"1","author":"Y Moses","year":"1986","unstructured":"Moses, Y., Dolev, D., Halpern, J.: Cheating husbands and other stories: a case study in knowledge, action, and communication. Distrib. Comput. 1(3), 167\u2013176 (1986)","journal-title":"Distrib. Comput."},{"key":"8_CR30","unstructured":"Plaza, J.: Logics of public communications. In: Proceedings of the 4th ISMIS, pp. 201\u2013216. Oak Ridge National Laboratory (1989)"},{"key":"8_CR31","doi-asserted-by":"crossref","unstructured":"Restall, G.: Relevant and substructural logics. In: Gabbay, D., Woods, J. (eds.) Handbook of the History of Logic, vol. 7, pp. 289\u2013398. Elsevier (2006)","DOI":"10.1016\/S1874-5857(06)80030-0"},{"key":"8_CR32","volume-title":"An Introduction to Substrucutral Logics","author":"G Restall","year":"2000","unstructured":"Restall, G.: An Introduction to Substrucutral Logics. Routledge, London (2000)"},{"key":"8_CR33","first-page":"194","volume-title":"Truth, Syntax and Modality","author":"R Routley","year":"1973","unstructured":"Routley, R., Meyer, R.K.: Semantics of entailment. In: Leblanc, H. (ed.) Truth, Syntax and Modality, pp. 194\u2013243. North Holland, Amsterdam (1973)"}],"container-title":["Lecture Notes in Computer Science","Dynamic Logic. New Trends and Applications"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-030-65840-3_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,10,15]],"date-time":"2023-10-15T19:28:22Z","timestamp":1697398102000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-030-65840-3_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020]]},"ISBN":["9783030658397","9783030658403"],"references-count":33,"URL":"https:\/\/doi.org\/10.1007\/978-3-030-65840-3_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2020]]},"assertion":[{"value":"22 December 2020","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"DaLi","order":1,"name":"conference_acronym","label":"Conference Acronym","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"International Workshop on Dynamic Logic","order":2,"name":"conference_name","label":"Conference Name","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Prague","order":3,"name":"conference_city","label":"Conference City","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Czech Republic","order":4,"name":"conference_country","label":"Conference Country","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"2020","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"9 October 2020","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"10 October 2020","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"3","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"DaLi2020","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/www.cs.cas.cz\/dali2020\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"Single-blind","order":1,"name":"type","label":"Type","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"EasyChair","order":2,"name":"conference_management_system","label":"Conference Management System","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"31","order":3,"name":"number_of_submissions_sent_for_review","label":"Number of Submissions Sent for Review","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"17","order":4,"name":"number_of_full_papers_accepted","label":"Number of Full Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"6","order":5,"name":"number_of_short_papers_accepted","label":"Number of Short Papers Accepted","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"55% - The value is computed by the equation \"Number of Full Papers Accepted \/ Number of Submissions Sent for Review * 100\" and then rounded to a whole number.","order":6,"name":"acceptance_rate_of_full_papers","label":"Acceptance Rate of Full Papers","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":7,"name":"average_number_of_reviews_per_paper","label":"Average Number of Reviews per Paper","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"2","order":8,"name":"average_number_of_papers_per_reviewer","label":"Average Number of Papers per Reviewer","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}},{"value":"Yes","order":9,"name":"external_reviewers_involved","label":"External Reviewers Involved","group":{"name":"ConfEventPeerReviewInformation","label":"Peer Review Information (provided by the conference organizers)"}}]}}