Coalition and Relativised Group Announcement Logic
Journal article, Peer reviewed
Accepted version
View/ Open
Date
2021Metadata
Show full item recordCollections
Original version
Journal of Logic, Language and Information. 2021, 30 (3), 451-489. 10.1007/s10849-020-09327-2Abstract
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.