Assertion: dependence logic | /r/HasProperty | equivalent
Facets:
value: to second-order logic
type: OTHER
Source sentences:
text: Intuitionistic dependence logic, that is, dependence logic supplemented with the intuitionistic implication, is equivalent to second-order logic.