Photograph by Isabelle Puaut

Hintikka's World: a tool showing agents reasoning about 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 :