Dynamic epistemic logic (2007)

by H van Ditmarsch, W van der Hoek, B Kooi