'Tell It Like It Is': information flow in logic
J.F.A.K. 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.

Keywords: dynamic logic;  update;  inferential dynamics