Open problems in logical dynamics - Benthem, Johan van 1949- (Inst. for Logic, Language and Computation, 2005)