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

Languages

A language L is a triple (Pr, Sp, T), where
eqnarray31
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