"Reasoning About Knowledge" - читать интересную книгу автора (Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi)