Löb’s theorem states that “If it’s provable that (if it’s provable that p then p), then it’s provable that p.” In addition to being a theorem of set theory with Peano arithmetic, it’s also a theorem of modal logic.
Try this on for size: If I believe that (if I believe that this chocolate chip will cure my headache, then this chocolate chip will cure my headache), then I believe that this chocolate chip will cure my headache.
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).
-Agenty Duck
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).