Reasoning about Knowledge by Ronald Fagin, Joseph Y. Halpern & Moshe Y. Vardi