The Expressivity of Quantified Group Announcements - Archive ouverte HAL Accéder directement au contenu
Article Dans Une Revue Journal of Logic and Computation Année : 2022

The Expressivity of Quantified Group Announcements

Résumé

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.
Fichier principal
Vignette du fichier
TheExpressivity_ofQuantifiedGroupAnnouncements.pdf (765.98 Ko) Télécharger le fichier
Origine Fichiers éditeurs autorisés sur une archive ouverte

Dates et versions

hal-04238178 , version 1 (12-10-2023)

Licence

Identifiants

Citer

Natasha Alechina, Hans van Ditmarsch, Tim French, Rustam Galimullin. The Expressivity of Quantified Group Announcements. Journal of Logic and Computation, 2022, 33 (6), pp.1122-1151. ⟨10.1093/logcom/exac082⟩. ⟨hal-04238178⟩
12 Consultations
18 Téléchargements

Altmetric

Partager

Gmail Mastodon Facebook X LinkedIn More