33 citations · 99 across the 17 of their papers we have counts for
Showing 2018Show all
2 papers · 1 filter
cs.LO2018★ 1 cited
A modal aleatoric calculus for probabilistic reasoning: extended version
Tim French, Andrew Gozzard, Mark Reynolds
We consider multi-agent systems where agents actions and beliefs are determined aleatorically, or "by the throw of dice". This system consists of possible worlds that assign distri…
cs.LO2018★ 18 cited
Positive Announcements
Hans van Ditmarsch, Tim French, James Hales
Arbitrary public announcement logic (APAL) reasons about how the knowledge of a set of agents changes after true public announcements and after arbitrary announcements of true epis…