1
Finite Model Theory
Lecture 9
Logics and Complexity Classes
(cont’d)