PP-2003-02: Johan van Benthem Structural Properties of Dynamic Reasoning 1.Full Text, 2.Abstract. < Back