Assertion: logic | /r/HasProperty | harel et al
Facets:
Source sentences:
text: In an endogenous logic such as temporal logic the program is assumed to be fixed, and is considered part of the structure over which the logic is interpreted (Harel et al.