Hans van Ditmarsch
Computer Science department, University of Otago, New Zealand

A la logique epistémique on peut ajouter des opérateurs modaux dynamiques pour décrire le résultat des annonces publiques (c'est à dire, des 'speech acts' informatifs). Cette logique a été formulée dans les années 1980 et 1990, par Plaza, Gerbrandy et Groeneveld, Baltag, Moss et Solecki, avec contributions additionnelles de van Ditmarsch, van der Hoek et Kooi. Le phenomène le plus interessant dans cette logique c'est qu'il est possible d'annoncer des vérites qui par ça deviendront faux. Des exemples sont rencontrés parmi les formules à la Moore ("Moore-sententes"), connues depuis les années 1940.

(La présentation sera en francais, les transparents sont en anglais. Un fichier avec la presentation complète sera disponible pour téléchargement quelques jours avant la presentation.)

• H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi. Playing Cards with Hintikka: An introduction to dynamic epistemic logic. Australasian Journal of Logic 3:108-134, 2005.(.html; .pdf)
• H.P. van Ditmarsch, B.P. Kooi. The Secret of My Success. To appear in Synthese.(.html; .pdf)
• H.P. van Ditmarsch, W. van der Hoek and B.P. Kooi. Dynamic Epistemic Logic. (.pdf)

	retour