TY - JOUR T1 - A Deontic Logic Framework Allowing for Factual Detachment –- Appendix JF - Journal of Applied Logic Y1 - 2009 A1 - Straßer, Christian AB -

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.

VL - 9 SP - 61–80 ER -