Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, … - The MIT Press
Reasoning about knowledge—particularly the knowledge of agents who reason about the world and each other's knowledge …—was once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to … computer algorithms. Reasoning About Knowledge is the first book to provide a general discussion of approaches to reasoning …