1 paper
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…