Prior’s big Y and the Idea of Branching Time

Abstract

In his famous letter to A. N. Prior dated 3 September 1958, Saul Kripke suggested the use of branching time in temporal logic. In this paper, however, it is argued that Prior worked with an idea close to the notion of branching time (‘the big Y’) already the year before he received Kripke’s letter. It is likely that Prior’s findings based on this early study can explain why Prior so quickly accepted the idea of branching time when he received Kripke’s letter.

KEYWORDS:

• Temporal logic
• tense-logic
• branching time
• A.N. Prior
• Saul Kripke

Disclosure statement

No potential conflict of interest was reported by the author(s).