Reasoning about knowledge - Fagin, Ronald (The MIT Press, 1995)