T-79.5101 Advanced Course in Computational Logic
The material covered in the exam:
Lecture notes and tutorials are available at the
homepage of the course:
- Lectures and Tutorials
- Fitting, Basic Modal Logic, Handbook of Logic in
Artificial Intelligence and Logic Programming, Volume 1, Logical
Section 1 (pp. 365-419), excluding subsections 1.8, 1.11 and 1.13.
- E.A. Emerson, Automated Temporal Reasoning about Reactive Systems,
Logics for Concurrency, F. Moller and G. Birtwistle (Eds.),
Springer-Verlag, 1996, LNCS 1043
Sections 1-4 (pp. 41-63), excluding subsection 2.5.
- E. Clarke and O. Grumberg and D. Peled,
Model Checking, The MIT Press, 1999.
Chapters 1,3,4 (pp. 1-11, 27-46).