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