Now, knowing classical logic we move to model checking and modal logic Muddy Children Problem.
INF02511: Knowledge Engineering Reasoning about Knowledge (a very short introduction)