A 1996 Debate with Nuel Belnap on the Thin Red Line
Journal: Studia Logica
Year: 2025

Abstract This paper examines a 1996 debate with Nuel Belnap on the thin red line (TRL) in branching-time semantics. While A.N. Prior’s tense-logic did not incorporate a privileged future, he discussed the idea as a possible interpretation of Ockham’s logic. The TRL asserts that one future among many is “true”, preserving bivalence, but Belnap and Green (Philos Perspect 8:365–388, 1994) argued that this contradicts indeterminism. The paper explores the origins of the term “thin red line”, Belnap