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