second-order logic
noun1
Usually A formal system which extends first-order logic by allowing quantification over relations between members of the universe.
- Derived terms
- monadic second-order logic
Entry derived from the Wiktionary, under licence CC BY-SA 4.0 — list of authors.