The Epistemic Logic of IF Games Johan van Benthem Abstract: We analyze IF/hyperclassical games by bringing together two viewpoints from Jaakko Hintikka's work: game semantics, and epistemic logic. In the process, we link up more generally between logic and game theory.