Badie, F. On A.N. Prior’s Logical System Q. LogicPhilTime 2023, 5.