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