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

B. Barras, S. Boutin, C. Cornes, J. Courant, Y. Coscoy et al., The Coq Proof Assistant Reference Manual, 2000.
URL : https://hal.archives-ouvertes.fr/inria-00069968

D. A. Basin, S. Matthews, and L. Viganò, Labelled propositional modal logics: Theory and practic, J. Log. Comput, vol.7, issue.6, pp.685-717, 1997.

D. A. Basin, S. Matthews, and L. Viganò, Labelled modal logics: Quantifiers, Journal of Logic, Language and Information, vol.7, issue.3, pp.237-263, 1998.

M. Burrows, M. Abadi, and R. Needham, A logic of authentication, Proceedings of the Royal Society, vol.426, pp.233-271, 1989.

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

D. M. Gabbay, C. J. Hogger, and J. A. Robinson, Handbook of Logic in Artificial Intelligence and Logic Programming, chapter Epistemic and Temporal Logics, Epistemic aspects of databases, 1995.

J. Howell and D. Kotz, A formal semantics for SPKI, Proceedings of the Sixth European Symposium on Research in Computer Security (ESORICS 2000), pp.140-158, 2000.

P. Lescanne, Epistemic logic in higher order logic an experiment with COQ, 2001.
URL : https://hal.archives-ouvertes.fr/hal-02101795

G. Lowe, Breaking and fixing the Needham-Schroeder public-key protocol using CSP and FDR, Tools and Algorithms for the Constrcution and Analysis of Systems, TACA'96, vol.1055, pp.147-166, 1996.

W. Marrero, E. Clarke, and S. Jha, Model checking for security protocols, 1997.

J. C. John- and . Meyer, Logic-based artificial intelligence, chapter Dynamic logic for reasoning about actions and agents, pp.281-311, 2000.

J. C. John-, W. Meyer, and . Van-der-hoek, Epistemic Logic for Computer Science and Artificial Intelligence, Cambridge Tracts in Theoretical Computer Science, vol.41, 1995.

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

M. Sato, A study of Kripke-type models for some modal logics by Gentzen's sequential method, vol.13, pp.381-468, 1977.

A. S. Troelstra and D. Van-dalen, Constructivism in mathematics: an introduction, vol.1, 1988.

. Paulien-de-wind, Modal logic in Coq, 2002.