Mes travaux récents portent sur les interprétations probabilistes de la logique où la validité est définie en termes de probabilité, en particulier sur l'interprétation de la logique intuitionniste avec négation forte où la probabilité du conditionnel est la probabilité conditionnelle. Toujours en logique intuitionniste, je travaille à l'élaboration d'une méthode directe mixte (substitution à la Quine et formes normales) pour tester la validité intuitionniste en calcul propositionnel.