PHIL 478/688
Modal Logic
Week 1 Introduction
- Aug 28
- Lecture (JMZ 0122)
- slides
- Aug 30
- Lecture (JMZ 0122)
- slides
- Sep 1
- Tutorial 1
Week 2 Modal Models, Truth, and Bisimulation
- Sep 4
- No class - Labor Day
- Sep 6
- Lecture (JMZ 0122)
- slides
- Sep 15
- Tutorial 2 Problem Set 1
Week 3 Bisimulation
- Sep 11
- Lecture (JMZ 0122)
- slides
- Sep 13
- Lecture (JMZ 0122)
- slides
- Sep 15
- Tutorial 2 Problem Set 1
Week 4 Frame Definability
- Sep 18
- Lecture (JMZ 0122)
- slides
- Sep 20
- Lecture (JMZ 0122)
- slides
- Sep 22
- Tutorial 3
Week 5 Standard Translation, Introduction to Normal Modal Logics
- Sep 25
- Lecture (JMZ 0122)
- slides
- Sep 27
- Lecture (JMZ 0122)
- slides
- Sep 29
- Tutorial 3
Week 6 Modal Proof Theory, Introduction to Soundness and Completeness
- Oct 2
- Lecture (JMZ 0122)
- slides
- Oct 4
- Lecture (JMZ 0122)
- slides
- Oct 6
- Problem Set 2
Week 6 Modal Proof Theory, Introduction to Soundness and Completeness
- Oct 9
- Class canceled - Away at a conference
- Oct 11
- Class canceled - Away at a conference
- Oct 13
- Problem Set 2
Week 8 Soundness and Completeness
- Oct 16
- Lecture (JMZ 0122)
- slides
- Oct 18
- Lecture (JMZ 0122)
- slides
- Oct 20
- Problem Set 2
Week 10 Logics of Knowledge and Belief
- Oct 30
- Lecture (JMZ 0122)
- slides
- Nov 1
- Lecture (JMZ 0122)
- slides
- Nov 3
- Midterm Exam
Week 11 Logics of Knowledge and Belief
- Nov 6
- Lecture (JMZ 0122)
- slides
- Nov 8
- Lecture (JMZ 0122)
- slides
- Nov 8
- Midterm Exam
- Nov 10
- Tutorial 4
Week 12 Non-Normal Modal Logic
- Nov 13
- Lecture (JMZ 0122)
- slides
- Nov 15
- Lecture (JMZ 0122)
- slides
- Nov 17
- Tutorial 4
- Nov 20
- Problem Set 3
Week 13 Incompleteness
- Nov 20
- Lecture (JMZ 0122)
- slides
- Nov 22
- No Class - Thanksgiving Break
- Nov 20
- Problem Set 3
Week 14 First Order Modal Logic, I
- Nov 27
- Lecture (JMZ 0122)
- slides
- Nov 29
- Lecture (JMZ 0122)
- slides
- Dec 1
- Problem Set 4
Week 15 First Order Modal Logic, II
- Dec 4
- Lecture (JMZ 0122)
- slides
- Dec 6
- Lecture Canceled - Away at Conference
- Dec 15
- Problem Set 5
Week 16 Review Session
- Dec 11
- Review Session
- Dec 15
- Problem Set 5
- Dec 18
- Online Portion - Final Exam