Fixed-point extensions of first-order logic
The authors define fixed-point-extensions of first-order logic by the least fixed point predicate LFP, by the monotone fixed point predicate LFP', and the inflationary fixed point predicate IFP, respectively. It is proved that these three extensions have the same expressive power on finite structures.
fixed-point-extensions of first-order logic
scientific article; zbMATH DE number 4006239
scientific article