Αποστολή με SMS: Johan van Benthem on Logic and Information Dynamics