An abstract approach to reasoning about games with mistaken and changing beliefs - Löwe, Benedikt; Pacuit, Eric (Inst. for Logic, Language and Computation, 2006)