1. Aumann, R.J.: Backward induction and common knowledge of rationality. Games and Economic Behavior 8, 6–19 (1995)
2. Baltag, A.: A logic of epistemic actions. In: van der Hoek, W., Meyer, J.-J., Witteveen, C. (eds.) Proceedings of the ESSLLI 1999 workshop on Foundations and Applications of Collective Agent-Based Systems. Utrecht University (1999)
3. Baltag, A., Moss, L., Solecki, S.: The logic of public announcements, common knowledge and private suspicion. In: Proc. of TARK, pp. 43–56. Morgan Kaufmann Publishers (1998)
4. Bertot, Y., Castéran, P.: Interactive Theorem Proving and Program Development Coq’Art: The Calculus of Inductive Constructions. Springer (2004)
5. Fagin, R., Halpern, J.Y., Moses, Y., Vardi, M.Y.: Reasoning about Knowledge. The MIT Press (1995)