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