Week Name Description
File Schedule of Presentations
24 February - 2 March File 01.03.2021_Introduction_to_Modal_Logic
File 02.03.2021_Semantics(Continued)_and_Validity
3 March - 9 March File 08.03.2021_Properties_of_Frames_and_Bisimulation
File 09.03.2021_An_Axiomatic_System_for_Modal_Logic
10 March - 16 March File 16.03.2021_Systems_of_Modal_Logic (slides 3-25)

slides 1-25

17 March - 23 March File 22.03.2021_Soundness_and_completeness_of_K (slides 26-56)

slides 26-56

File 23.03.2021_Reasoning_about_knowledge (slides 57-73)
24 March - 30 March File 2021_03_29_Group_Notions_of_Knowledge
File 2021_03_30_System_S5C
File Exercises_in_Group Notions of Knowledge And Logics of Belief
31 March - 6 April File 2021_04_05_Belief_Revision
File 2021_04_06_Belief Revision
7 April - 13 April File 2021_04_12_and_13_Public Anouncements (4.1-4.7)
14 April - 20 April File 2021_04_19_and_21_Public_Announcements_(4.8-4.12)
URL Sum and Product Puzzle (Definition, Explanation and Solution)
URL Aces and Eights Puzzle
5 May - 11 May File 2021_05_10_and_11_Epistemic Actions
12 May - 18 May File 2021_05_17_and_18_Action_Models_(6.1-6.4)
File 2021_05_17_and_18_Action_Models_(6.1-6.4)_Board_Notes
19 May - 25 May File 2021_05_24_and_25_Action_Models_(6.5-6-9)
26 May - 1 June File Complteness_(7.3-7.8)
File Completeness_(7.3-7.8)