T-79.5101 Advanced Course in Computational Logic
Tentative schedule (Spring 2007)
Period III
- Lecture 1 (17.1.2007)
- Introduction to modal logics
- Lecture 2 (24.1.2007)
- Possible world semantics
- Lecture 3 (31.1.2007)
- Basic properties of possible world semantics
- Lecture 4 (7.2.2007)
- Some well-behaving modal logics
- Lecture 5 (14.2.2007)
- Hilbert-style proof theory
- Lecture 6 (21.2.2007)
- Tableau method
- Lecture 7 (28.2.2007)
- Tableau method (continued), finite model property
Period IV
- Lecture 8 (14.3.2007)
- Decidability, relation to predicate logic, multi-modal logics,
and computational complexity
- Lecture 9 (21.3.2007)
- Introduction to temporal logics CTL, LTL, and CTL*
- Lecture 10 (28.3.2007)
- Expressing properties with temporal logics
- Lecture 11 (4.4.2007)
- Model checking in temporal logics
- No lecture (11.4.2007)
- Easter holidays
- Lecture 12 (25.4.2007)
- Tableau method for temporal logics
- Lecture 13 (2.5.2007)
- Tableau method (continued), course review and feedback