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.