Assertion: order logic | /r/HasProperty | a portion of set theory
Facets:
value: in their semantics
type: OTHER
value: directly
type: MANNER
Source sentences:
text: These include infinitary logics, which allow for formulas to provide an infinite amount of information, and higher-order logics, which include a portion of set theory directly in their semantics.