Fjellstad, Andreas. “Tautology Elimination, Cut Elimination and S4?”. Logic and Logical Philosophy (December 5, 2025): 1–9. Accessed December 10, 2025. https://apcz.umk.pl/LLP/article/view/60563.