Reasoning about information change - Gerbrandy, Jelle; Groeneveld, Willem (Inst. for Logic, Language and Computation, 1996)