Reasoning about knowledge—particularly the knowledge of agents who reason about the world and eac...