Simon Kramer, “Logic of Negation-Complete Interactive Proofs (Formal Theory of Epistemic Deciders)”, Electronic Notes in Theoretical Computer Science, 300, 2014, 47
Camillo Fiorentini, “All intermediate logics with extra axioms in one variable, except eight, are not strongly ω-complete”, J. symb. log., 65, № 4, 2000, 1576
Peter Schroeder‐Heister, “Prawitz's completeness conjecture: A reassessment”, Theoria, 2024, theo.12541
Andrew Bacon, Kit Fine, 30, Saul Kripke on Modal Logic, 2024, 43
Amirhossein Akbar Tabatabai, Raheleh Jalali, “Universal Proof Theory: Feasible Admissibility in Intuitionistic Modal Logics”, Annals of Pure and Applied Logic, 2024, 103526