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. Je développe également une méthode similaire pour la logique intuitionniste avec négation forte.J'ai également travaillé récemment sur l'Ontologie de Lesniewski et ses rapports avec la théorie des ensembles.