A Mini-Guide to Logic In Action
Johan van Benthem

Abstract:
The Dynamic Turn in logic makes actions of communication and general
information update into explicit objects of investigation. This paper
is a brief tour of this research program in a new version, bringing
together ideas from logic, philosophy, computer science, and game
theory. In particular, we discuss epistemic, dynamic, and temporal
logics, belief revision, and game logics.