higher-order logic
form of predicate logic that is distinguished from first-order logic by additional quantifiers and, sometimes, stronger semantics
second-order logic
extension of first-order logic allowing quantification over functions and relations