Since contradictions are necessarily false, ¬◇(A ∧ ¬A) is a logical truth in any consistent modal sy...
This proposition has not been edited since the history system was added.