Dynamic Epistemic Logic (2007)

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