Constructing an Epistemic Model for the Games with Two Players
Eliminating strictly dominated choices
Finding types that express common belief in rationality for optimal ch...
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.