Logical Dynamics of Information and Interaction