Bräuner, Torben. “Analytic Proof-Theory for Prior’s System Q: First Steps”. Logic and Philosophy of Time 6, no. 1 (January 13, 2025). Accessed March 23, 2025. https://journals.aau.dk/index.php/logic/article/view/9937.