F. Badie, “On A.N. Prior’s Logical System Q”, LogicPhilTime, vol. 5, no. 1, Oct. 2023.