Johan van Benthem on Logic and Information Dynamics - Baltag, Alexandru; Smets, Sonja (Springer International Publishing, 2014)