EpistemicGameTheory - Constructing an Epistemic Model for the Games with Two Players
Constructing an epistemic model such that, for every
player i and for every choice c(i) which is optimal, there is
one type that expresses common belief in rationality.