Fjellstad, Andreas. 2025. “Tautology Elimination, Cut Elimination and S4?”. Logic and Logical Philosophy 35 (3):499-507. https://doi.org/10.12775/LLP.2025.028.