{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:13:48Z","timestamp":1760202828849},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662602911"},{"type":"electronic","value":"9783662602928"}],"license":[{"start":{"date-parts":[[2019,1,1]],"date-time":"2019-01-01T00:00:00Z","timestamp":1546300800000},"content-version":"tdm","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":[[2019]]},"DOI":"10.1007\/978-3-662-60292-8_8","type":"book-chapter","created":{"date-parts":[[2019,10,8]],"date-time":"2019-10-08T23:09:52Z","timestamp":1570576192000},"page":"98-111","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":4,"title":["Group Announcement Logic with Distributed Knowledge"],"prefix":"10.1007","author":[{"given":"Rustam","family":"Galimullin","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Thomas","family":"\u00c5gotnes","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Natasha","family":"Alechina","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2019,10,9]]},"reference":[{"issue":"1","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(1), 62\u201381 (2010)","journal-title":"J. Appl. Logic"},{"key":"8_CR2","unstructured":"\u00c5gotnes, T., van Ditmarsch, H.: Coalitions and announcements. In: Proceedings of AAMAS 2008, pp. 673\u2013680 (2008)"},{"issue":"1","key":"8_CR3","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1007\/s11229-010-9838-8","volume":"179","author":"T \u00c5gotnes","year":"2011","unstructured":"\u00c5gotnes, T., van Ditmarsch, H.: What will they say? - Public announcement games. Synthese 179(1), 57\u201385 (2011)","journal-title":"Synthese"},{"key":"8_CR4","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/j.artint.2017.07.002","volume":"252","author":"T \u00c5gotnes","year":"2017","unstructured":"\u00c5gotnes, T., W\u00e1ng, Y.N.: Resolving distributed knowledge. Artif. Intell. 252, 1\u201321 (2017)","journal-title":"Artif. Intell."},{"issue":"3","key":"8_CR5","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., de Lima, T.: \u2018Knowable\u2019 as \u2018known\u2019 after an announcement. Rev. Symbolic Logic 1(3), 305\u2013334 (2008)","journal-title":"Rev. Symbolic Logic"},{"issue":"11","key":"8_CR6","doi-asserted-by":"publisher","first-page":"1620","DOI":"10.1016\/j.ic.2006.04.006","volume":"204","author":"J Benthem van","year":"2006","unstructured":"van Benthem, J., van Eijck, J., Kooi, B.P.: Logics of communication and change. Inf. Comput. 204(11), 1620\u20131662 (2006)","journal-title":"Inf. Comput."},{"key":"8_CR7","doi-asserted-by":"publisher","first-page":"303","DOI":"10.1016\/j.ic.2014.07.013","volume":"239","author":"L Bozzelli","year":"2014","unstructured":"Bozzelli, L., van Ditmarsch, H., French, T., Hales, J., Pinchinat, S.: Refinement modal logic. Inf. Comput. 239, 303\u2013339 (2014)","journal-title":"Inf. Comput."},{"key":"8_CR8","doi-asserted-by":"publisher","first-page":"80","DOI":"10.1016\/j.artint.2016.10.003","volume":"242","author":"H Ditmarsch van","year":"2017","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B., Kuijer, L.B.: Arbitrary arrow update logic. Artif. Intell. 242, 80\u2013106 (2017)","journal-title":"Artif. Intell."},{"issue":"2","key":"8_CR9","doi-asserted-by":"publisher","first-page":"201","DOI":"10.1007\/s11229-005-3384-9","volume":"151","author":"H Ditmarsch van","year":"2006","unstructured":"van Ditmarsch, H., Kooi, B.: The secret of my success. Synthese 151(2), 201\u2013232 (2006)","journal-title":"Synthese"},{"key":"8_CR10","series-title":"Synthese Library","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4020-5839-4","volume-title":"Dynamic Epistemic Logic","author":"H van Ditmarsch","year":"2008","unstructured":"van Ditmarsch, H., van der Hoek, W., Kooi, B.: Dynamic Epistemic Logic. Synthese Library, vol. 337. Springer, Heidelberg (2008)"},{"key":"8_CR11","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.Y., Moses, Y., Vardi, M.Y.: Reasoning About Knowledge. The MIT Press, Cambridge (1995)"},{"key":"8_CR12","unstructured":"French, T., Galimullin, R., van Ditmarsch, H., Alechina, N.: Groups versus coalitions: on the relative expressivity of GAL and CAL. In: Proceedings of AAMAS, vol. 2019, pp. 953\u2013961 (2019)"},{"key":"8_CR13","series-title":"Lecture Notes in Computer Science (Lecture Notes in Artificial Intelligence)","doi-asserted-by":"publisher","first-page":"11","DOI":"10.1007\/978-3-030-00111-7_2","volume-title":"KI 2018: Advances in Artificial Intelligence","author":"R Galimullin","year":"2018","unstructured":"Galimullin, R., Alechina, N., van Ditmarsch, H.: Model checking for coalition announcement logic. In: Trollmann, F., Turhan, A.-Y. (eds.) KI 2018: Advances in Artificial Intelligence. LNCS, vol. 11117, pp. 11\u201323. Springer, Cham (2018). https:\/\/doi.org\/10.1007\/978-3-030-00111-7_2"},{"key":"8_CR14","series-title":"Lecture Notes in Computer Science","volume-title":"Axiomatising the Logic of Computer Programming","author":"R Goldblatt","year":"1982","unstructured":"Goldblatt, R.: Axiomatising the Logic of Computer Programming. Lecture Notes in Computer Science, vol. 130. Springer, Heidelberg (1982)"},{"key":"8_CR15","first-page":"249","volume-title":"Handbook of Modal Logic, Studies in Logic and Practical Reasoning","author":"V Goranko","year":"2007","unstructured":"Goranko, V., Otto, M.: Model theory of modal logic. In: Blackburn, P., van Benthem, J., Wolter, F. (eds.) Handbook of Modal Logic, Studies in Logic and Practical Reasoning, vol. 3, pp. 249\u2013329. Elsevier, Amsterdam (2007)"},{"key":"8_CR16","doi-asserted-by":"crossref","unstructured":"Hales, J.: Arbitrary action model logic and action model synthesis. In: Proceedings of LICS 2013, pp. 253\u2013262 (2013)","DOI":"10.1109\/LICS.2013.31"},{"key":"8_CR17","unstructured":"van der Hoek, W., Meyer, J.-J.Ch.: Making some issues of implicit knowledge explicit. Int. J. Found. Comput. Sci. 3(2), 193\u2013223 (1992)"},{"key":"8_CR18","first-page":"480","volume-title":"Readings in Planning","author":"RC Moore","year":"1990","unstructured":"Moore, R.C.: A formal theory of knowledge and action. In: Allen, J.F., Hendler, J., Tate, A. (eds.) Readings in Planning, pp. 480\u2013519. Morgan Kaufmann Publishers, San Mateo (1990)"},{"issue":"2","key":"8_CR19","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":"8_CR20","doi-asserted-by":"publisher","first-page":"255","DOI":"10.3166\/jancl.17.255-273","volume":"17","author":"F Roelofsen","year":"2007","unstructured":"Roelofsen, F.: Distributed knowledge. J. Appl. Non-Classical Logics 17(2), 255\u2013273 (2007)","journal-title":"J. Appl. Non-Classical Logics"},{"key":"8_CR21","unstructured":"Vanderschraaf, P., Sillari, G.: Common knowledge. In: Zalta, E.N. (ed.) The Stanford Encyclopedia of Philosophy (2014)"},{"issue":"1","key":"8_CR22","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1007\/s11229-012-0243-3","volume":"190","author":"YN W\u00e1ng","year":"2013","unstructured":"W\u00e1ng, Y.N., \u00c5gotnes, T.: Public announcement logic with distributed knowledge: expressivity, completeness and complexity. Synthese 190(1), 135\u2013162 (2013)","journal-title":"Synthese"},{"issue":"3","key":"8_CR23","doi-asserted-by":"publisher","first-page":"370","DOI":"10.1016\/j.jal.2015.06.004","volume":"13","author":"YN W\u00e1ng","year":"2015","unstructured":"W\u00e1ng, Y.N., \u00c5gotnes, T.: Relativized common knowledge for dynamic epistemic logic. J. Appl. Logic 13(3), 370\u2013393 (2015)","journal-title":"J. Appl. Logic"}],"container-title":["Lecture Notes in Computer Science","Logic, Rationality, and Interaction"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-60292-8_8","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2024,7,24]],"date-time":"2024-07-24T19:08:52Z","timestamp":1721848132000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-60292-8_8"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019]]},"ISBN":["9783662602911","9783662602928"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-60292-8_8","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2019]]},"assertion":[{"value":"9 October 2019","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"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":"Chongqing","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":"2019","order":5,"name":"conference_year","label":"Conference Year","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"18 October 2019","order":7,"name":"conference_start_date","label":"Conference Start Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"21 October 2019","order":8,"name":"conference_end_date","label":"Conference End Date","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"7","order":9,"name":"conference_number","label":"Conference Number","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"lori2019","order":10,"name":"conference_id","label":"Conference ID","group":{"name":"ConferenceInfo","label":"Conference Information"}},{"value":"http:\/\/golori.org\/","order":11,"name":"conference_url","label":"Conference URL","group":{"name":"ConferenceInfo","label":"Conference Information"}}]}}