Bräuner, T. (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