25
Fixed Point Logics
LFP, IFP, PFP look very complicated and
procedural
Nothing one can do; deeper analysis brings
back some of the elegance (future lectures)
We made several arbitrary choices.
Lets analyze some of the choices