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.

@misc{1101438,
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 = {Strasser, Christian},
language = {eng},
pages = {25},
title = {A deontic logic framework allowing for factual detachment: appendix},
year = {2010},
}