Théories formelles du sens et de la référence. Théorie des modèles : quantification, intentionnalité, présupposition. Interface syntaxe sémantique. Développements récents en théorie sémantique.