Blar i Faculty of Social Sciences på forfatter "French, Tim"
-
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 ...