T-79.5101 Advanced Course in Computational Logic
Schedule (Spring 2008)
Period III
- Lecture 1 (22.1.2008)
- Introduction to the course
[ps]
[pdf]
- Introduction to modal logics
[ps]
[pdf]
- Lecture 2 (29.1.2008)
- Possible world semantics
[ps]
[pdf]
- Lecture 3 (5.2.2008)
- Basic properties of possible world semantics
[ps]
[pdf]
- Lecture 4 (12.2.2008)
- Some well-behaving modal logics
[ps]
[pdf]
- Lecture 5 (19.2.2008)
- Hilbert-style proof theory
[ps]
[pdf]
- Lecture 6 (26.2.2008)
- Tableau method
[ps]
[pdf]
- Lecture 7 (4.3.2008)
- Tableau method (continued)
Period IV
- Lecture 8 (18.3.2008)
- Finite model property, decidability, relation to predicate logic,
multi-modal logics, and computational complexity
[ps]
[pdf]
- No lecture (25.3.2008)
- Easter holidays
- Lecture 9 (1.4.2008)
- Introduction to temporal logics CTL, LTL, and CTL*
[ps]
[pdf]
- Lecture 10 (8.4.2008)
- Expressing properties with temporal logics
[ps]
[pdf]
- Lecture 11 (15.4.2008)
- Model checking in temporal logics
[ps]
[pdf]
- Lecture 12 (22.4.2008)
- Tableau method for temporal logics
[ps]
[pdf]
- Lecture 13 (29.4.2008)
- Tableau method (continued), course review and feedback