higher-order logic

form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics