 Applying the above remark, an alternative definition of \(K_i(E)\) is that \(E\) is true in all the states the agent \(i\) considers possible (according to \(i\)’s hard information). That is, \(K_i(E)=\{w\mid [w]_i\subseteq E\}\).