Pages that link to "Item:Q4344700"
From MaRDI portal
The following pages link to Fixed-point logics, generalized quantifiers, and oracles (Q4344700):
Displaying 5 items.
- Fixed-point extensions of first-order logic (Q1090327) (← links)
- Guarded quantification in least fixed point logic (Q1424969) (← links)
- Enhancing fixed point logic with cardinality quantifiers (Q4399514) (← links)
- (Q4551034) (← links)
- Generalized Quantifiers and Logical Reducibilities (Q4763536) (← links)