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

This is a file in the archives of the Stanford Encyclopedia of Philosophy.
Please note that some links may no longer be functional.