Advanced search
1 file | 267.42 KB

A deontic logic framework allowing for factual detachment: appendix

(2010)
Author
Organization
Project
Contextual and formal-logical approach to scientific problem solving processes
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.

Downloads

  • (...).pdf
    • full text
    • |
    • UGent only
    • |
    • PDF
    • |
    • 267.42 KB

Citation

Please use this url to cite or link to this publication:

Chicago
Strasser, Christian. 2010. “A Deontic Logic Framework Allowing for Factual Detachment: Appendix.”
APA
Strasser, C. (2010). A deontic logic framework allowing for factual detachment: appendix.
Vancouver
1.
Strasser C. A deontic logic framework allowing for factual detachment: appendix. 2010.
MLA
Strasser, Christian. “A Deontic Logic Framework Allowing for Factual Detachment: Appendix.” 2010 : n. pag. Print.
@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},
}