I find 𝐾𝑃→𝑃 a quite reasonable axiom for epistemic logic. In an intuitive sense, one cannot know something false, that’s not knowing. But i find the dual 𝑃→𝐾̂𝑃 not satisfying. I’ve seen explanations of the dual modality 𝐾̂ as “epistemic possibility”; but I don’t think truth does not implies epistemic possibility.

#Logic #ModalLogic #EpistemicLogic