Assertion: logic's semantic | /r/CapableOf | define truth value
Facets:
value: at a given world
type: TEMPORAL
Source sentences:
text: The formal semantics for Justification Logic described above in 3.1–3.4 defines truth value at a given world \(\Gamma\)