# Logic and Automata

We meet in AT 2.02, 4-6pm on Mondays

Professor: Leonid Libkin

Requirements and Syllabus: Level
10 Level
10

### Suggested reading:

- Infinite Words: Automata,
Semigroups, Logic and Games, by D. Perrin and J.-E.Pin,

chapter "Automata
and infinite words"
- W. Thomas. Languages,
automata and logic. Chapter in the Handbook of Formal Languages.
Linked here is a technical
report whose contents are very close to the chapter.
- I. Walukiewicz. Automata
and Logic. (these notes concentrate on the mu-calculus).
- L. Libkin. Elements of Finite Model
Theory,
Chapter 7.
- M. Vardi's course notes on automata
in
verification.
- M. Vardi's Banff
notes on temporal logics and automata.
- E. Grädel, W. Thomas, and Th. Wilke.
**Automata, logics,
and
infinite games**, volume 2500 of * Lecture Notes in Computer
Science*. Springer, 2002.