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