Assertion: logic | /r/HasProperty | exogenous
Facets:
Source sentences:
text: A logic is exogenous if programs are explicit in the logical language, while for endogenous logics this is not the case.