Reasoning About Knowledge - Fagin, Ronald (Massachusetts Institute of Technology)