Uni-Logo

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)