B. Jack Copeland

Prior’s System Q and its Extensions

2023 · Logic and Philosophy of Time

Recently, and as happens from time to time in New Zealand, a typescript of Prior’s turned up. This one was in the personal collection of Oliver Sutherland. Prior typed it in November 1957 and used …