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*.

Fri Jun 20 13:39:43 PDT 1997