In mathematics and logic, a higher-order logic is a form of logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics. Wikipedia