Bräuner T. Analytic Proof-Theory for Prior’s System Q: First Steps. LogicPhilTime [Internet]. 2025 Jan. 13 [cited 2025 Mar. 23];6(1). Available from: https://journals.aau.dk/index.php/logic/article/view/9937