Logic and the Dynamics of Information
Johan van Benthem

Abstract:
We discuss how issues of information and computation interact with
logic today, and what might be a natural extended agenda of
investigation. In particular, the discussion ranges from local
dynamics of communication ('update logics') via belief revision
systems to the logic of long-term processes over time.