The epistemic logic of IF games - Benthem, Johan van 1949- (Inst. for Logic, Language and Computation, 2003)