"Logical Dynamics of Information and Interaction" - читать интересную книгу автора (Johan van Benthem)