T-79.5101 Advanced Course in Computational Logic
Tentative schedule (Spring 2006)
Period III
- Lecture 1 (17.1.2006)
- Introduction to modal logics
- Lecture 2 (24.1.2006)
- Possible world semantics
- Lecture 3 (31.1.2006)
- Basic properties of possible world semantics
- Lecture 4 (7.2.2006)
- Some well-behaving modal logics
- Lecture 5 (14.2.2006)
- Hilbert-style proof theory
- No lecture (21.2.2006)
- Skiing holidays
- Lecture 6 (28.2.2006)
- Tableau method
Period IV
- Lecture 7 (14.3.2006)
- Tableau method (continued), finite model property
- Lecture 8 (21.3.2006)
- Decidability, relation to predicate logic, multi-modal logics,
and computational complexity
- Lecture 9 (28.3.2006)
- Introduction to temporal logics CTL, LTL, and CTL*
- Lecture 10 (4.4.2006)
- Expressing properties with temporal logics
- Lecture 11 (11.4.2006)
- Model checking in temporal logics
- No lecture (18.4.2006)
- Easter holidays
- Lecture 12 (25.4.2006)
- Tableau method for temporal logics
- Lecture 13 (2.5.2006)
- Tableau method (continued), course review and feedback