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 July 16, 2025. https://journals.aau.dk/index.php/logic/article/view/9937.