FJELLSTAD, Andreas. Tautology Elimination, Cut Elimination and S4?. Logic and Logical Philosophy. Online. 5 December 2025. pp. 1-9. [Accessed 10 December 2025]. DOI 10.12775/LLP.2025.028.