Other (theme 6)
Springer
A. Baltag , S. Smets
Software Analysis and Transformation

van Eijck, D.J.N. (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.