Copeland, B. Jack, and Aneta Markoska-Cubrinovska. “Prior’s System Q and Its Extensions”. Logic and Philosophy of Time 5, no. 1 (October 23, 2023). Accessed April 30, 2025. https://journals.aau.dk/index.php/logic/article/view/7893.