scientific article; zbMATH DE number 823615

zbMATH Open0839.03008MaRDI QIDQ4856972FDOQ4856972

Authors: Lennart Åqvist 

Publication date: 19 June 1996

Title of this publication is not available (Why is that?)

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\)

zbMATH Keywords

completenessKripke modelspossible worldspreference relationdyadic deontic logicsystematic frame constantsalethic modal operators

Mathematics Subject Classification ID

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

Cited In (4)

• 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
• 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)