Second-order logic
= Second-order logic
{wiki}
A logic allowing quantification over relations or <subsets> of the object domain as well as over its individual objects. The range of relation quantifiers depends on the chosen semantics.
= Second-order logic
{wiki}
A logic allowing quantification over relations or <subsets> of the object domain as well as over its individual objects. The range of relation quantifiers depends on the chosen semantics.