Blar i Department of Information Science and Media Studies på forfatter "French, Tim"

Viser treff 1-2 av 2

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