Assertion: logic's operator | /r/HasProperty | quantifier
Facets:
value: over world-states
type: LOCATION
Source sentences:
text: Priorian tense logic shares with modal logic a technical concentration on issues that arise from using the first-order theory of relations to explain the logical phenomena, an expectation that the important temporal operators will be quantifiers over world-states, and a rather remote and foundational approach to actual specimens of temporal reasoning.