  There can be no doubt that the origin of Prior’s tense logic was bound up with his change of mind about freewill. Landmark papers on his path from determinism to indeterminism and the rejection of Calvinism were: