Nitpick: it would be better to write “also a theorem of epistemic logic”, since there are other modal logics where it is not provable. (E.g. just modal logic K).
Nitpick: it would be better to write “also a theorem of epistemic logic”, since there are other modal logics where it is not provable. (E.g. just modal logic K).