Henkin semantics
= Henkin semantics
{c}
Second-order quantifiers range over specified collections of relations, which can be proper subcollections of all external relations. With these collections as additional sorts, this is a form of <first-order logic>. Full-class conclusions cannot be inferred merely from truth with <Henkin semantics>.