Springer
A. Baltag , S. Smets
Software Analysis and Transformation

van Eijck, J. (2014). Dynamic Epistemic Logics. In A. Baltag & S. Smets (Eds.), Johan F.A.K.van Benthem on Logical and Informational Dynamics (pp. 175–202). Springer.