• The Expressivity of Quantified Group Announcements 

      Alechina, Natasha; van Ditmarsch, Hans; French, Tim; Galimullin, Rustam (Journal article; Peer reviewed, 2023)
      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 ...
    • No Finite Model Property for Logics of Quantified Announcements 

      van Ditmarsch, Hans; French, Tim; Galimullin, Rustam (Chapter, 2021)
      Quantification over public announcements shifts the perspective from reasoning strictly about the results of a particular announcement to reasoning about the existence of an announcement that achieves some certain epistemic ...
    • Verification and Strategy Synthesis for Coalition Announcement Logic 

      Alechina, Natasha; van Ditmarsch, Hans; Galimullin, Rustam; Wang, Tuo (Journal article; Peer reviewed, 2021)
      Coalition announcement logic (CAL) is one of the family of the logics of quantified announcements. It allows us to reason about what a coalition of agents can achieve by making announcements in the setting where the ...