Reasoning About KnowledgeReasoning about knowledgeparticularly the knowledge of agents who reason about the world and each other's knowledgewas once the exclusive province of philosophers and puzzle solvers. More recently, this type of reasoning has been shown to play a key role in a surprising number of contexts, from understanding conversations to the analysis of distributed computer algorithms. Reasoning About Knowledge is the first book to provide a general discussion of