Contents: 1. Introduction and Overview -- 2. A Model for Knowledge -- 3. Completeness and Complexity -- 4. Knowledge in Multi-Agent Systems -- 5. Protocols and Programs -- 6. Common Knowledge and Agreement -- 7. Knowledge-Based Programming -- 8. Evolving Knowledge -- 9. Logical Omniscience -- 10. Knowledge and Computation -- 11. Common Knowledge Revisited
Bibliography
Includes bibliographical references (pages 429-448) and indexes