7
Outline
•
Fixpoints
•
Fixpoint Logics
•
Immerman and Vardi’s results:
FO+LFP+< = FO+IFP+< = PTIME
FO+PFP+< = PSPACE
•