higher-order logic

Also known as HOL, higher order simple predicate logic

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