Bräuner, Torben. 2025. “Analytic Proof-Theory for Prior’s System Q: First Steps”. Logic and Philosophy of Time 6 (1). https://doi.org/10.54337/lpt.v6i1.9937.