Co-provability of K(k) and ¬K(k) violates the law of non-contradiction unless the model is paraconsi...
This proposition has not been edited since the history system was added.