R. J. Aumann, Backward induction and common knowledge of rationality, Games and Economic Behavior, vol.8, pp.6-19, 1995.

A. Baltag, A logic of epistemic actions, Proceedings of the ESSLLI 1999 workshop on Foundations and Applications of Collective Agent-Based Systems, 1999.

A. Baltag, L. Moss, and S. Solecki, The logic of public announcements, common knowledge and private suspicion, Proc. of TARK, pp.43-56, 1998.

Y. Bertot and P. Castéran, Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004.
URL : https://hal.archives-ouvertes.fr/hal-00344237

R. Fagin, J. Y. Halpern, Y. Moses, and M. Y. Vardi, Reasoning about Knowledge, 1995.

G. Gamow and M. Stern, Puzzle math, chapter Forthy unfaithful wives, pp.20-23, 1958.

M. Gardner, Puzzles from other worlds. Vintage, 1984.

J. Geanakoplos, Handbook of Game Theory, vol.2, pp.1437-1496, 1994.

G. Gentzen, UntersuchungenüberUntersuchungen¨Untersuchungenüber das logische Schließen, Mathematische Zeitschrift, vol.39, pp.405-431, 1935.

J. Girard, Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987.
URL : https://hal.archives-ouvertes.fr/inria-00075966

D. Harel, D. Kozen, and J. Tiuryn, Dynamic Logic, 2000.

Y. Lafont, From proof nets to interaction nets, Advances in Linear Logic, pp.225-247, 1995.

D. Lehmann, Knowledge, common knowledge and related puzzles (extended summary), PODC '84: Proceedings of the third annual ACM symposium on Principles of distributed computing, pp.62-67, 1984.

P. Lescanne, Mechanizing epistemic logic with Coq, Annals of Mathematics and Artificial Intelligence, vol.48, pp.15-43, 2006.
URL : https://hal.archives-ouvertes.fr/hal-02102004

P. Lescanne and J. Puisségur, Dynamic logic of common knowledge in a proof assistant, 2007.
URL : https://hal.archives-ouvertes.fr/ensl-00198782

D. Lewis, Convention: A philosophical study, 1969.

J. E. Littlewood, Littlewood's miscellany, 1986.

J. Mccarthy, M. Sato, T. Hayashi, and S. Igarashi, On the model theory of knowledge, 1977.

J. Ch, W. Meyer, and . Van-der-hoek, Epistemic Logic for Artificial Intelligence and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science, 1995.

Y. O. Moses, D. Dolev, and J. Y. Halpern, Cheating husbands and other stories: a case study in knowledge, action, and communication, Distributed computing, vol.1, issue.3, pp.167-176, 1986.

B. Prémaillon, Logiqué epistémique, modélisation dans un assistant de preuve, 2005.

J. Puisségur, Eléments de construction d'une logiqué epistémique et dynamique, 2005.

D. Samet, Hypothetical knowledge and games with perfect information, Games and Economic Behavior, vol.17, pp.230-251, 1996.

R. Vestergaard, P. Lescanne, and H. Ono, The inductive and modal proof theory of Aumann's theorem on rationality, JAIST, 2006.