Blar i Department of Information Science and Media Studies på forfatter "van Ditmarsch, Hans"
-
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 ...