Stav dette: Logical dynamics of information and interaction