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\).

Copyright © 2015 by
Valentin Goranko <>
Antony Galton

Open access to the SEP is made possible by a world-wide funding initiative.
The Encyclopedia Now Needs Your Support
Please Read How You Can Help Keep the Encyclopedia Free