'Tell It Like It Is': information flow in logic
Johan van Benthem

Abstract:
This is a short introduction to 'logical dynamics'
and current interactive logic for an issue of the 
Journal of Peking University, edited by Chen Bo.