Assertion: justification | /r/HasProperty | interpreted as sets of formulas
Facets:
value: syntactically
type: MANNER
Source sentences:
text: Within modular semantics propositions receive the usual classical truth values and justifications are interpreted syntactically as sets of formulas.
text: Note that whereas propositions in modular models are interpreted semantically, as truth values, justifications are interpreted syntactically, as sets of formulas.