Photograph by Isabelle Puaut

Hintikka's world

A tool for playing with intelligent agents with higher-order knowledge.
with Romain Legendre
Compilation : analyse lexicale et syntaxique
Du texte à sa structure en informatique
with Olivier Gasquet, Andreas Herzig, Bilal Said
Kripke's Worlds
An introduction to Modal Logics via Tableaux
Je contribue à wikipedia et j'aime beaucoup ajouter des illustrations :