Abstract
We prove the characteristic S5 axiom under the assumption that the modal operators are logical operators.
This work is licensed under a Creative Commons Attribution-ShareAlike 4.0 International License.
Copyright (c) 2025 Alex Blum
On the Soundness of S5
