Definition 2.4 (Epistemic-Plausibility Models) 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-plausibility model is a tuple \(\langle W,\{\Pi_i\}_{i\in \Agt}, \{\preceq_i\}_{i\in \Agt},\sigma\rangle\) where \(\kripkemodel\) is an epistemic model, \(\sigma:W\rightarrow S\) and for each \(i\in\Agt\), \(\preceq_i\) is a  well-founded,[9]  reflexive and transitive relation on \(W\) satisfying the following properties, for all \(w,v\in W\)