The Expressivity of Quantified Group Announcements

N Alechina, H Van Ditmarsch, T French, R Galimullin

Research output: Contribution to journalArticleAcademicpeer-review


Group announcement logic (GAL) and coalition announcement logic (CAL) allow us to reason about whether it is possible for groups and coalitions of agents to achieve their desired epistemic goals through truthful public communication. The difference between groups and coalitions in such a context is that the latter make their announcements in the presence of possible adversarial counter-announcements. As epistemic goals may involve some agents remaining ignorant, counter-announcements may preclude coalitions from reaching their goals. We study the relative expressivity of GAL and CAL and provide some results involving their more well-known sibling APAL. We also discuss how the presence of memory alters the relationship between groups and coalition.
Original languageEnglish
Pages (from-to)1122-1151
Number of pages30
JournalJournal of Logic and Computation
Issue number6
Publication statusPublished - Sept 2023


Dive into the research topics of 'The Expressivity of Quantified Group Announcements'. Together they form a unique fingerprint.

Cite this