Fjellstad, Andreas. “Tautology Elimination, Cut Elimination and S4?”. Logic and Logical Philosophy, Dec. 2025, pp. 1-9, doi:10.12775/LLP.2025.028.