Copeland, B. J.; Markoska-Cubrinovska, A. Prior’s System Q and Its Extensions. LogicPhilTime 2023, 5.