 Assuming that there is a basic assignment function giving a truth-value for each propositional letter at each instant, we may then introduce the following recursive definition of the truth-value of a tense-logical proposition at the moment \(t\) seen from the perspective of the moment, \(s\):