1. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. MIT Press, Cambridge (1995)
2. Meyer, J.J., van der Hoek, W.: Epistemic Logic for Computer Science and Artificial Intelligence. Cambridge University Press, Cambridge (1995)
3. Hintikka, J.: Knowledge and belief. Cornell University Press, Ithaca (1962)
4. Rantala, V.: Impossible worlds semantics and logical omniscience. Acta Philosophica Fennica 35, 106–115 (1982)
5. Fagin, R., Halpern, J.Y., Vardi, M.Y.: A non-standard approach to the logical omniscience problem. In: Parikh, R. (ed.) Theoretical Aspects of Reasoning about Knowledge: Proceedings of the Third Conference, pp. 41–55. Morgan Kaufmann, San Francisco (1990)