Temporal logic; Tense logic ; Philosophy of language ; Language comprehension (philosophy of language) ; Truth theory ; Semantik (Theorie) ; Semantic theory; Theory (semant.) ; Semantics, tense; Temporal reference; Zeitreferenz; Time reference; Tense semantics ; Tense (synt.)