PUC-Logic embedding of Lewis' Deontic Logics
  We present a embedding of Lewis Deontic logics in PUC-Logic. We achieve this by representing the vary basic $\boldsymbol{CO}$ logic and showing its relative completeness. 
Ricardo Q. A. Fernandes, Edward H. Haeusler, Luiz Carlos Pereira
cs.LO