17
Fixed Point Logics
•
Hence, three new logics:
•
•
FO + LFP
or LFP
•
FO + IFP
or IFP
•
FO + PFP
of PFP
•
•
Need semantics (next)