Coalition and Relativised Group Announcement Logic
Journal article, Peer reviewed
MetadataVis full innførsel
OriginalversjonJournal of Logic, Language and Information. 2021, 30 (3), 451-489. 10.1007/s10849-020-09327-2
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.