BRÄUNER, Torben. Analytic Proof-Theory for Prior’s System Q: First Steps. Logic and Philosophy of Time, [S. l.], v. 6, n. 1, 2025. DOI: 10.54337/lpt.v6i1.9937. Disponível em: https://journals.aau.dk/index.php/logic/article/view/9937. Acesso em: 23 mar. 2025.