second-order logic
extension of first-order logic allowing quantification over functions and relations
monadic second-order logic
form of second‐order logic in which one can quantify over sets but not over predicates
extension of first-order logic allowing quantification over functions and relations