Reasoning about Knowledge - Fagin, Ronald. (The MIT Press, 1995)
Includes bibliographical references & index.