10 citations · 18 across the 14 of their papers we have counts for
1 paper · 1 filter
Hans van Ditmarsch, Tim French, Rustam Galimullin
Quantification over public announcements shifts the perspective from reasoning strictly about the results of a particular announcement to reasoning about the existence of an announ…