Tutorial : Dynamic Epistemic Logic

The tutorial is especially aimed at those who are interested by dynamic epistemic logic but are not familiar with the topic. Barteld Kooi will give three lectures, in which he will take the attendees from the very basic motivations and concepts to recent results in the field.

Kooi has recently co-authored, with H. van Ditmarsch and W. van der Hoek, the first textbook on the topic. A limited amount of copies will be offered to the participants at discounted price.

For any inquiries or requests about the tutorial, please email the organizers.


 

Schedule and topics covered
All sessions will be at :
DR-200 of Pavillon Athanase-David, Université du Québec à Montréal (UQÀM)


Tuesday June 19th
10.00 - 12.30
Preliminaries:
Epistemic logic and public announcement logic
Slides

Wednesday 20th
10.00 - 12.30

State models, event models and
logic for product update


Thursday 21st
10.00 - 12.30

Recent developments