M. Grimshaw, “Arthur Prior: A Calvinist route to logic”, LogicPhilTime, vol. 5, no. 1, Oct. 2023.