A Model for Epistemic Games
Tanja Hötte · 2004
Contents 1 Introduction 4 2 Language and Semantics 10 2.1 Epistemic Game Model . . . . . . . . . . . . . . . . . . . . . . . . . . . 10 2.2 Language . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13 2.3 Examples Revisited . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 14 2.4 General Principles . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16 3 Some Basic Model Theory 19 3.1 Bisimulation . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 19 3.1.1 Bisimulation and Elementary Equivalence . . . . . . . . . . . . 20 3.2 Comparing Models . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22 3.2.1 Comparison with Generalized Game Models . . . . . . . . . . . 22 3.2.2 Models and Simple Models . . . . . . . . . . . . . . . . . . . . . 25 3.2.3 Simple Models and Imperfect Information Games . . . . . . . . 26 3.3 Problems . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 28 4 Logics 29 4.1 Minimal Logic . . .