@article {Strasser2009, title = {A Deontic Logic Framework Allowing for Factual Detachment {\textendash}- Appendix}, journal = {Journal of Applied Logic}, volume = {9}, number = {1}, year = {2009}, pages = {61{\textendash}80}, abstract = {

This Appendix contains in part A the semantic characterization of logics CDPM.2d and CDPM.2e defined in [3]. Soundness and completeness are proven. In part B the logical framework presented in [3] is generalized such that it is able to deal with nested permissible contexts.

}, author = {Stra{\ss}er, Christian} }