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