In a system of logic named for this concept, operators like F and G may be combined to form the “infinite path” denoted by pi. For 10 points each:
[10h] Name this concept that Arthur Prior paired with “modality” in the title of a text on logic.
ANSWER: time [accept tense or temporal]
[10e] Prior’s temporal logic allows this property of a sentence to vary over time. In propositional logic, all possible values of this property are listed in namesake “tables.”
ANSWER: truth [accept word forms such as true]
[10m] Truth valuation in temporal logic may be done using models in this philosopher’s namesake semantics for modal logic, which he explored in Naming and Necessity.
ANSWER: Saul Kripke
<JC, Philosophy>