Reasoning About Knowledge (The MIT Press, 1995)