Reasoning About Knowledge
โ Ronald Fagin, Joseph Y. Halpern, Yoram Moses, Moshe Y. Vardi
๐ Library
๐
1995
๐ The MIT Press
๐ English
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 play a key role in a surprising number of contexts, from un