 Reasoning about imperfect information requires to extended languages for extensive form games with epistemic modalities. For each player i, modality \(K_i\varphi\) represents i’s knowledge. The usual semantics of epistemic logic relates this to uncertainty, as encoded by the players’s indistinguishability relation: