Backward induction and common knowledge of rationality, Games and Economic Behavior, vol.8, issue.1, pp.6-19, 1995. ,
DOI : 10.1016/S0899-8256(05)80015-6
A logic of epistemic actions, Proceedings of the ESSLLI 1999 workshop on Foundations and Applications of Collective Agent-Based Systems, 1999. ,
The Logic of Public Announcements, Common Knowledge, and Private Suspicions, Proc. of TARK, pp.43-56, 1998. ,
DOI : 10.1007/978-3-319-20451-2_38
Interactive Theorem Proving and Program Development Coq'Art: The Calculus of Inductive Constructions, 2004. ,
URL : https://hal.archives-ouvertes.fr/hal-00344237
Reasoning about Knowledge, 1995. ,
Puzzle math, chapter Forthy unfaithful wives, pp.20-23, 1958. ,
Puzzles from other worlds. Vintage, 1984. ,
Handbook of Game Theory, pp.1437-1496, 1994. ,
Untersuchungen ???ber das logische Schlie???en. I, Mathematische Zeitschrift, vol.39, issue.1, pp.176-210, 1935. ,
DOI : 10.1007/BF01201353
Linear logic, Theoretical Computer Science, vol.50, issue.1, pp.1-102, 1987. ,
DOI : 10.1016/0304-3975(87)90045-4
URL : https://hal.archives-ouvertes.fr/inria-00075966
From proof nets to interaction nets, Advances in Linear Logic, pp.225-247, 1995. ,
DOI : 10.1017/CBO9780511629150.012
Knowledge, common knowledge and related puzzles (Extended Summary), Proceedings of the third annual ACM symposium on Principles of distributed computing , PODC '84, pp.62-67, 1984. ,
DOI : 10.1145/800222.806736
Mechanizing common knowledge logic using COQ, Annals of Mathematics and Artificial Intelligence, vol.13, issue.2, pp.15-43, 2006. ,
DOI : 10.1007/s10472-006-9042-1
Dynamic logic of common knowledge in a proof assistant, 2007. ,
URL : https://hal.archives-ouvertes.fr/ensl-00198782
Convention: A philosophical study, 1969. ,
DOI : 10.1002/9780470693711
Littlewood's miscellany, 1986. ,
On the model theory of knowledge, 1977. ,
Epistemic Logic for Computer Science and Artificial Intelligence, volume 41 of Cambridge Tracts in Theoretical Computer Science, 1995. ,
Cheating husbands and other stories: A case study of knowledge, action, and communication, Distributed Computing, vol.LXXVIII, issue.3, pp.167-176, 1986. ,
DOI : 10.1007/BF01661170
Logiqué epistémique, modélisation dans un assistant de preuve, 2005. ,
Eléments de construction d'une logiqué epistémique et dynamique, 2005. ,
Hypothetical Knowledge and Games with Perfect Information, Games and Economic Behavior, vol.17, issue.2, pp.230-251, 1996. ,
DOI : 10.1006/game.1996.0104
URL : http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.10.910