Assertion: logic's semantic | /r/HasProperty | complete
Facets:
Source sentences:
text: Adams (1998, 154) also defines another logic for which his probabilistic semantics is sound and complete.
text: The most commonly employed semantics for second-order and higher-order logic is known as full semantics.