next up previous
Next: Well formed formulas Up: The Formal Systems Previous: Basic Language


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.

Yasuko Kitajima
Fri Jun 20 13:39:43 PDT 1997