"Epistemic Logic for AI and Computer Science (Cambridge Tracts in Theoretical Computer Science)" - читать интересную книгу автора (J.-J. Ch. Meyer, W. van der Hoek)