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