Backward induction and common knowledge of rationality, Games and Economic Behavior, vol.8, pp.6-19, 1995. ,
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 suspicion, Proc. of TARK, pp.43-56, 1998. ,
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, vol.2, pp.1437-1496, 1994. ,
UntersuchungenüberUntersuchungen¨Untersuchungenüber das logische Schließen, Mathematische Zeitschrift, vol.39, pp.405-431, 1935. ,
Linear logic, Theoretical Computer Science, vol.50, pp.1-102, 1987. ,
URL : https://hal.archives-ouvertes.fr/inria-00075966
Dynamic Logic, 2000. ,
From proof nets to interaction nets, Advances in Linear Logic, pp.225-247, 1995. ,
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. ,
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
Dynamic logic of common knowledge in a proof assistant, 2007. ,
URL : https://hal.archives-ouvertes.fr/ensl-00198782
Convention: A philosophical study, 1969. ,
Littlewood's miscellany, 1986. ,
On the model theory of knowledge, 1977. ,
Epistemic Logic for Artificial Intelligence and Computer Science, volume 41 of Cambridge Tracts in Theoretical Computer Science, 1995. ,
Cheating husbands and other stories: a case study in knowledge, action, and communication, Distributed computing, vol.1, issue.3, pp.167-176, 1986. ,
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, pp.230-251, 1996. ,
The inductive and modal proof theory of Aumann's theorem on rationality, JAIST, 2006. ,