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.