8
Motivation
•
Recall Fagin’s result:
9
SO = NP
•
•
Are there other logics that capture complexity
classes ?
•
•
Yes !
But those logics are not as elegant as
9
SO.
(Or, it takes more arguing to present them as
elegant.)