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