Proof Analysis in Deontic Logics