1. Davis, E., Morgenstern, L.: Epistemic Logics and its Applications: Tutorial Notes,
www-formal.stanford.edu/leora/krcourse/ijcaitxt.ps
2. Fagin, R., Halpern, J., Moses, Y., Vardi, M.: Reasoning about knowledge. MIT Press, Cambridge (1995)
3. Meyer, J., Hoek, W.V.D.: Epistemic Logic for Computer Science and Artificial Intelligence. In: Cambridge Tracts in Theoretical Computer Science, vol. 41. Cambridge University Press, Cambridge (1995)
4. Gabbay, D.M., Kurucz, A., Wolter, F., Zakharyaschev, M.: Many-dimensional modal logics: theory and applications. In: Studies in Logic and the Foundations of Mathematics, vol. 4. Elsevier, Amsterdam (1994)
5. Halpern, J., Moses, Y.: A guide to completeness and complexity for modal logics of knowledge and belief. Artificial Intelligence 54, 319–379 (1992)