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