B. J. Copeland and A. Markoska-Cubrinovska, “Prior’s System Q and its Extensions”, LogicPhilTime, vol. 5, no. 1, Oct. 2023.