The Epistemic Logic of IF Games
J.F.A.K. van Benthem, Randall E. Auxier, Lewis Edwin Hahn · UvA-DARE (University of Amsterdam) · 2003
We analyze IF/hyper-classical games by bringing together two viewpoints from Jaakko Hintikka's work: game semantics, and epistemic logic. In the process, we link up between logic and game theory. 1 Logic meets games Game theory and logic met in the 1950s – and Jaakko Hintikka has been a pioneer ever since in introducing game-theoretic viewpoints into logic, from his early basic evaluation games for predicate logic to his more recent ‘information-friendly ’ logic based on extended games that go far beyond classical systems. The grand