“On the Soundness of S5”. The Reasoner, vol. 20, no. 1, Nov. 2025, https://doi.org/10.54103/1757-0522/29438.