 If we fix a set of basic propositions \(P\) and a set of agents \(I\), then a knowledge state for \(P\) and \(I\) consists of a set \(W\) of possible worlds, together with a valuation function \(V\) that assigns a subset of \(P\) to each \(w\) in \(W\) (if \(w \in W\), then \(V(w)\) lists the basic propositions that are true in \(w)\) and for each agent \(i \in I\), a relation \(R_i\) stating the epistemic similarities for \(i\) (if \(wR_i w'\), this means that agent \(i\) cannot distinguish world \(w\) from world w\('\)). Epistemic models \(M = (W, V, \{R_i \mid i \in I\})\) are known as multimodal Kripke models. Pointed epistemic models are epistemic models with a designated world \(w_0\) representing the actual world.