Logical Dynamics of Information and Interaction - Johan van Benthem (2011)