Le temps et la contingence (Lille, 2020)
Le concept de preuve en logique (Lille, 2020)
Logique propositionnelle (Lille, 2010/2015)
Logique des prédicats (Lille, 2010/2015/2020/2022)
Des concepts de la théorie des ensembles (Lille, 2010/2015/2019)
Games and Logic (Helsinki, 2007)
Tense and Logic (Helsinki, 2006)
Aikalogiikan alkeita (Tampere, 2002/2007)