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