• 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 ...