10 citations · 18 across the 14 of their papers we have counts for
1 paper · 1 filter
Hans van Ditmarsch, Tim French, Rustam Galimullin
Dynamic epistemic logics consider formal representations of agents' knowledge, and how the knowledge of agents changes in response to informative events, such as public announcemen…