Reasoning about knowledge / Ronald Fagin ... [et al.]. - Fagin, Ronald (MIT Press, 2003)