(untitled) (The Reasoner, 2025)
We prove the characteristic S5 axiom under the assumption that the modal operators are logical operators.