Reasoning about knowledge - Fagin Ronald (London MIT Press, 1996)