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.
–Let’s analyze some of the choices