A language L is a triple (Pr, Sp, T), where Elements in Pr, Sp and T denote propositional variables, persons and time, respectively. Our arguments henceforth will, unless states otherwise, always be relative to a language L.
