Reasoning About Knowledge

Joseph Y Halpern, Moshe Y Vardi, Ronald Fagin, Yoram Moses — 2003

Provides a general discussion of approaches to reasoning about knowledge and its applications to distributed systems, artificial intelligence, and game theory.