dc.contributor.author | van Ditmarsch, Hans | |
dc.contributor.author | French, Tim | |
dc.contributor.author | Galimullin, Rustam | |
dc.date.accessioned | 2022-04-04T13:16:34Z | |
dc.date.available | 2022-04-04T13:16:34Z | |
dc.date.created | 2021-12-04T17:22:46Z | |
dc.date.issued | 2021 | |
dc.identifier.issn | 2075-2180 | |
dc.identifier.uri | https://hdl.handle.net/11250/2989687 | |
dc.description.abstract | Quantification over public announcements shifts the perspective from reasoning strictly about the results of a particular announcement to reasoning about the existence of an announcement that achieves some certain epistemic goal. Depending on the type of the quantification, we get differ- ent formalisms, the most known of which are arbitrary public announcement logic (APAL), group announcement logic (GAL), and coalition announcement logic (CAL). It has been an open question whether the logics have the finite model property, and in the paper we answer the question negatively. We also discuss how this result is connected to other open questions in the field. | en_US |
dc.language.iso | eng | en_US |
dc.relation.ispartof | Proceedings Eighteenth Conference on Theoretical Aspects of Rationality and Knowledge, TARK 2021, Beijing, China, June 25-27, 2021 | |
dc.relation.uri | https://rgalimullin.gitlab.io/TARK2021/apal-fmp.pdf | |
dc.rights | Navngivelse 4.0 Internasjonal | * |
dc.rights.uri | http://creativecommons.org/licenses/by/4.0/deed.no | * |
dc.title | No Finite Model Property for Logics of Quantified Announcements | en_US |
dc.type | Chapter | en_US |
dc.description.version | publishedVersion | en_US |
dc.rights.holder | Copyright 2021 The Author(s) | en_US |
cristin.ispublished | true | |
cristin.fulltext | original | |
cristin.qualitycode | 1 | |
dc.identifier.doi | http://dx.doi.org/10.4204/EPTCS.335.12 | |
dc.identifier.cristin | 1964704 | |
dc.source.pagenumber | 129-138 | en_US |
dc.identifier.citation | In: J. Y. Halpern and A. Perea (Eds.): Theoretical Aspects of Rationality and Knowledge 2021 (TARK 2021) EPTCS 335, 2021. pp. 129–138 | en_US |