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