Keywords
Necessity
Possibility
S5
Possibility
S5
How to Cite
On the Soundness of S5. (2026). The Reasoner, 20(1). https://doi.org/10.54103/1757-0522/29438
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
Downloads
Download data is not yet available.