Reasoning about knowledge - Fagin, Ronald; Halpern, Joseph Y.; Moses, Yoram; Vardi, Moshe (The MIT Press, 2004)