T-79.5101 Advanced Course in Computational Logic

Spring 2007

• Lectures and Tutorials

• Fitting, Basic Modal Logic, Handbook of Logic in Artificial Intelligence and Logic Programming, Volume 1, Logical Foundations, 1993.
  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).