# T-79.146 Logic in Computer Science:
Special Topics I

## Spring 2005

The material covered in the exam:
- 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-49).

Lecture notes and tutorials are available at the
homepage of the course:
http://www.tcs.hut.fi/Studies/T-79.146/