Backward induction and common knowledge of rationality, Games and Economic Behavior, vol.8, pp.6-19, 1995. ,
The Coq Proof Assistant Reference Manual, 2000. ,
URL : https://hal.archives-ouvertes.fr/inria-00069968
Labelled propositional modal logics: Theory and practic, J. Log. Comput, vol.7, issue.6, pp.685-717, 1997. ,
Labelled modal logics: Quantifiers, Journal of Logic, Language and Information, vol.7, issue.3, pp.237-263, 1998. ,
A logic of authentication, Proceedings of the Royal Society, vol.426, pp.233-271, 1989. ,
Reasoning about Knowledge, 1995. ,
Handbook of Logic in Artificial Intelligence and Logic Programming, chapter Epistemic and Temporal Logics, Epistemic aspects of databases, 1995. ,
A formal semantics for SPKI, Proceedings of the Sixth European Symposium on Research in Computer Security (ESORICS 2000), pp.140-158, 2000. ,
Epistemic logic in higher order logic an experiment with COQ, 2001. ,
URL : https://hal.archives-ouvertes.fr/hal-02101795
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. ,
Model checking for security protocols, 1997. ,
Logic-based artificial intelligence, chapter Dynamic logic for reasoning about actions and agents, pp.281-311, 2000. ,
Epistemic Logic for Computer Science and Artificial Intelligence, Cambridge Tracts in Theoretical Computer Science, vol.41, 1995. ,
Hypothetical knowledge and games with perfect information, Games and Economic Behavior, vol.17, pp.230-251, 1996. ,
A study of Kripke-type models for some modal logics by Gentzen's sequential method, vol.13, pp.381-468, 1977. ,
Constructivism in mathematics: an introduction, vol.1, 1988. ,
Modal logic in Coq, 2002. ,