|
Schedule of Presentations |
|
|
24 February - 2 March |
01.03.2021_Introduction_to_Modal_Logic |
|
|
02.03.2021_Semantics(Continued)_and_Validity |
|
|
3 March - 9 March |
08.03.2021_Properties_of_Frames_and_Bisimulation |
|
|
09.03.2021_An_Axiomatic_System_for_Modal_Logic |
|
|
10 March - 16 March |
16.03.2021_Systems_of_Modal_Logic (slides 3-25) |
|
|
17 March - 23 March |
22.03.2021_Soundness_and_completeness_of_K (slides 26-56) |
|
|
23.03.2021_Reasoning_about_knowledge (slides 57-73) |
|
|
24 March - 30 March |
2021_03_29_Group_Notions_of_Knowledge |
|
|
2021_03_30_System_S5C |
|
|
Exercises_in_Group Notions of Knowledge And Logics of Belief |
|
|
31 March - 6 April |
2021_04_05_Belief_Revision |
|
|
2021_04_06_Belief Revision |
|
|
7 April - 13 April |
2021_04_12_and_13_Public Anouncements (4.1-4.7) |
|
|
14 April - 20 April |
2021_04_19_and_21_Public_Announcements_(4.8-4.12) |
|
|
Sum and Product Puzzle (Definition, Explanation and Solution) |
|
|
Aces and Eights Puzzle |
|
|
5 May - 11 May |
2021_05_10_and_11_Epistemic Actions |
|
|
12 May - 18 May |
2021_05_17_and_18_Action_Models_(6.1-6.4) |
|
|
2021_05_17_and_18_Action_Models_(6.1-6.4)_Board_Notes |
|
|
19 May - 25 May |
2021_05_24_and_25_Action_Models_(6.5-6-9) |
|
|
26 May - 1 June |
Complteness_(7.3-7.8) |
|
|
Completeness_(7.3-7.8) |
|