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 recent
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. Mo