1. Fagin R., Halpern J. Y., Moses Y., Vardi M. Y. (1995) Reasoning about knowledge. MIT Press, Cambridge
2. Wooldridge M. (2000) Reasoning about rational agents. MIT Press, Cambridge
3. Gabbay D. M., Kurucz A., Wolter F., Zakharyaschev M. (2003) Many-dimensional modal logics: Theory and applications, Studies in logic and the foundations of mathematics. Elsevier, Amsterdam
4. Halpern J. Y. (1990) An analysis of first-order logics of probability. Artificial Intelligence 46(3): 311–350
5. Poole, D. (2003). First-order probabilistic inference. In Proceedings of the 18th international joint conference on artificial intelligence (pp. 985–991).