scientific article; zbMATH DE number 823615

MaRDI QIDQ4856972zbMATH OpenFDO

Authors Lennart Åqvist

Publication date 19 June 1996

zbMATH Keywords

completenessKripke modelspossible worldspreference relationdyadic deontic logicsystematic frame constantsalethic modal operators

Mathematics Subject Classification ID

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

Recommendations

• Three characterizability problems in deontic logic
• 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
• On some questions of L. Åqvist
• Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)

Cited in

(5)

• Justification announcements in discrete time. Part II: Frame definability results
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• A complete axiom set for Hansson's deontic logic DSDL2
• Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition

This page was built for publication:

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