2025. On the Soundness of S5. The Reasoner. 20, 1 (Nov. 2025). DOI:https://doi.org/10.54103/1757-0522/29438.