Assertion: order logic | /r/HasProperty | extended with henkin quantifiers
Facets:
Source sentences:
text: ESO also enjoys translation equivalence with some extensions of first-order logic which allow non-linear ordering of quantifier dependencies, like first-order logic extended with Henkin quantifiers, Hintikka and Sandu's independence-friendly logic, and Väänänen's dependence logic.