Reasoning about Knowledge in Multi-Agent Systems
Reasoning about Knowledge in Multi-Agent Systems
Joseph Y. Halpern