Dynamic semantics, dynamic logic and discourse interpretation

Mercredi 5 juin a 9 heures 30

Salle du conseil de l' Irit

Resume : Dans cet expose, j'introduirai la semantique dynamique et sa logique sous-jacente en faisant des comparaisons avec la logique dynamique modale. S'il y a le temps, je discuterai la preuve de completude pour cette logique.

Retour a la page des seminaires