Fixed-point extensions of first-order logic (Q1090327)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Fixed-point extensions of first-order logic |
scientific article |
Statements
Fixed-point extensions of first-order logic (English)
0 references
1986
0 references
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.
0 references
fixed-point-extensions of first-order logic
0 references
least fixed point
0 references
monotone fixed point predicate
0 references
inflationary fixed point predicate
0 references
expressive power on finite structures
0 references
