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


)
.

"Our Prices Start at $11.99. As Our First Client, Use Coupon Code GET15 to claim 15% Discount This Month!!":

Get started