Dynamic Epistemic Logic - Lectures

No.	Date	Topic	Notes
2.	Mon, Oct. 17, 2016 - Mon, Nov. 7, 2016	Multi-Agent S5, Basics	(PDF)
2b.	Mon, Nov. 7, 2016 - (present)	Multi-Agent S5, Axioms, Common Knowledge, Model Checking	(PDF)
3a.		Public Announcements	(PDF)
3b.	Mon, Nov. 14, 2016	Principles of Public Announcement Logics	(PDF)
3c.		Public Announcements and Common Knowledge; Unsuccessful Updates; Axiomatization	(PDF)
3d.		Public Announcements and Common Knowledge (ctd.)	(PDF)
4a.		Action Model Logic: Syntax and Semantics	(PDF)
4b.		Action Model Logic: Bisimilarity and Emulation; Axiomatization	(PDF)
5a.		Multi-pointed Models; Ontic Effects	(PDF)