 Definition 2.1 (Epistemic Model)  Suppose that \(G\) is a strategic game, \(S\) is the set of strategy profiles of \(G\), and \(\A\) is the set of players. An epistemic model based on \(S\) and \(\Agt\) is a triple \(\langle W,\{\Pi_i\}_{i\in\Agt},\sigma\rangle\), where \(W\) is a nonempty set, for each \(i\in\Agt\), \(\Pi_i\) is a partition[7]  over \(W\) and \(\sigma:W\rightarrow S\). 