Second-Order Logic

A logical framework extending first-order syntax by allowing quantification not only over individual elements of a domain but also over relations, functions, or subsets of the domain (i.e., second-order variables range over predicate-like objects).