Notes to Temporal Logic
1. We refer to it here as “temporal logic” but Prior called it “Tense Logic”. While these are widely regarded as synonyms, we will often use the more modern and commonly used term “temporal logic” here.
2. In the philosophical logic literature a prefix notation for \(U\) and \(S\) is often used, e.g. \(U\psi \varphi\) instead of \(\varphi U\psi\).