Text this: Johan van Benthem on Logic and Information Dynamics