Fjellstad, A. (2025) “Tautology Elimination, Cut Elimination and S4?”, Logic and Logical Philosophy, pp. 1–9. doi: 10.12775/LLP.2025.028.