Epistemic Logic. Reasoning about Knowledge.
From the book "Reasoning about Knowledge" (Fagin, Halpern, Moses, Vardi).