On the Soundness of S5 (The Reasoner, 2025)
We prove the characteristic S5 axiom under the assumption that the modal operators are logical operators.
Keywords: Necessity; Possibility; S5