Dynamic logic, dynamic semantics
Péter Mekis
Tuesday 14.00--15:30, i221

presentation, 16 September
presentation, 23 September
homework 1
Literature to the first three sessions:
Harel & al, Dynamic logic. In Gabbay & al. (ed.), Handbook of Philosophical Logic. Vol 4. 99--218. (available in the department)
presentation, 30 September
presentation, 7 October
presentation, 14 October
presentation, 21 October
presentation, 4 November
homework 2
Literature to the current sessions:
Groenendijk & Stokhof, Dynamic predicate logic. Linguistics & Philosophy 14 (1991), 39--100.
Muskens & al., Dynamics. In Van Benthem & al., ed., Handbook of Logic and Language. 587--648. (available in the department)