Talk:Logic for Computer Scientists/Modal Logic/Modal Logic

What is the answer to this puzzle?
This is an interesting and known example of epistemic logics, a kind of modal logic. In epistemic logic there are several modal operators, for that reason is a multimodal logic. In this example, there are 3 children, each is an agent, the $$ K_i \varphi $$ means the i-child knows $$\varphi$$.

It is great that you are worried to include this kind of examples, but I think that a more simple example should be chosen, to explain what modality means.

Later you can say more about epistemic logics.