Assertion: tense logic | /r/CapableOf | prove to be a species of modal logic
Facets:
Source sentences:
text: As the topic was developed in philosophical logic, tense logic proved to be a species of modal logic; Prior’s work was heavily influenced by both Hintikka and Kripke, and by the idea that the truth of tense-logical formulas is relative to world-states or temporal stages of the world; these are the tense-theoretic analogues of the timeless possible worlds of ordinary modal logic.