question about modal logic doxastic

On p.219 of “Moore’s Paradox, Introspection, and Doxastic Logic” Adam Rieger gives an informal argument for the claim that we can avoid the Commissive Moore’s Paradox if our doxastic logic is KDNcm. Make this argument rigorous by providing a derivation in the modal system KDNcm of LaTeX: lnot B(plandlnot Bp)

¬


B


(


p





¬


B


p


)
.

Thanks for installing the Bottom of every post plugin by Corey Salzano. Contact me if you need custom WordPress plugins or website design.