Bi-simulation of epistemic structures: a semantic proof of completeness for Muddy Children Puzzle.