Coalition and Relativised Group Announcement Logic
Journal article, Peer reviewed
Accepted version
Permanent lenke
https://hdl.handle.net/11250/2993396Utgivelsesdato
2021Metadata
Vis full innførselSamlinger
Originalversjon
Journal of Logic, Language and Information. 2021, 30 (3), 451-489. 10.1007/s10849-020-09327-2Sammendrag
There are several ways to quantify over public announcements. The most notable are reflected in arbitrary, group, and coalition announcement logics (APAL, GAL, and CAL correspondingly), with the latter being the least studied so far. In the present work, we consider coalition announcements through the lens of group announcements, and provide a complete axiomatisation of a logic with coalition announcements. To achieve this, we employ a generalisation of group announcements. Moreover, we study some logical properties of both coalition and group announcements that have not been studied before.