A complete axiom set for Hansson's deontic logic DSDL2

DOI10.1093/JIGPAL/JZP050MaRDI QIDQ3577909zbMATH OpenOpenAlexWikidataFDO

Authors Xavier Parent

Publication date 26 July 2010

Published in Logic Journal of the IGPL (Search for Journal in Brave)

Full work available at URL https://semanticscholar.org/paper/18b497f71b7162a7c2f5f62917719f9d0a8c6d1b

zbMATH Keywords

betterness relationsdyadic deontic logicpossible worlds

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45)

Recommendations

• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• scientific article; zbMATH DE number 823615
• Completeness of Åqvist's systems E and F
• scientific article; zbMATH DE number 1163368

Cited in

(6)

• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• Normative reasoning and consequence
• Completeness of Åqvist's systems E and F
• Conditional obligations in justification logic
• Norms and deontic logic

This page was built for publication: A complete axiom set for Hansson's deontic logic DSDL2

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3577909)