Présentation

Domaine de recherche, cadre théorique : sémantique formelle, paradigme vériconditionnel, avec deux grands axes dans l’approche :
 Analyse sémantique compositionnelle  : interface syntaxe—sémantique, λ-calcul ;
 Analyse sémantique dynamique  : sémantique et pragmatique formelles du discours et du dialogue.

Les deux axes se recoupent naturellement (cf. travaux en λ-DRT avec P. Amsili sur le calcul systématique des contenus présupposés).

Thèmatiques et phénomènes linguistiques abordés (actuellement) :
 la restriction (seulement) < traitement de la présupposition
 impératifs < analyse formelle des actes de langage
 temps et aspect < interface sémantique—pragmatique
 comparaison