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.