Dynamic Epistemic Logicby Hans van DitmarschEpistemicsLogicDynamische LogikWissensrevisionEpistemische LogikGeneral semanticsKnowledge, theory ofWriting a summary for young readers…For young readersBook data: Open Library