Åqvist's dyadic deontic logic E in HOL

MaRDI QIDQ5869628zbMATH OpenFDO

Authors Christoph Benzmüller, Ali Farjami, Xavier Parent

Publication date 28 September 2022

zbMATH Keywords

automated reasoningclassical higher-order logicdyadic deontic logicpreference semanticssemantical embedding

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX)

Recommendations

• A dyadic deontic logic in HOL
• I/O logic in HOL
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• scientific article; zbMATH DE number 1405878
• Embedding and automating conditional logics in classical higher-order logic

Cited in

(7)

• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• scientific article; zbMATH DE number 1405878 (Why is no real title available?)
• A dyadic deontic logic in HOL
• I/O logic in HOL
• On some weakened forms of transitivity in the logic of conditional obligation
• Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments
• Conditional normative reasoning as a fragment of HOL

This page was built for publication: Åqvist's dyadic deontic logic \(\mathbf{E}\) in HOL

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