Higher-order logic

Home > Philosophy > Logic > Predicate Logic > Higher-order logic

Allows quantification over functions and predicates, in addition to individual variables.