Bräuner, T. Analytic Proof-Theory for Prior’s System Q: First Steps. LogicPhilTime 2025, 6.