| 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)
|
