### Logics for Analyzing Games (Stanford Encyclopedia of ...

Mar 04, 2019· More concretely, Zvesper (2010) analyzes classical results in epistemic game theory, (cf. Tan & Werlang 1988; Aumann 1999), in terms of abstract modalities for belief and optimality, showing how a few simple proof rules from modal μ-calculus can capture the essence of famous results in epistemic game theory.