Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition

DOI10.1007/S10992-013-9308-0zbMATH Open1321.03032OpenAlexW1986023375MaRDI QIDQ484199FDOQ484199

Authors: Xavier Parent 

Publication date: 18 December 2014

Published in: Journal of Philosophical Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/s10992-013-9308-0

Recommendations

• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• scientific article; zbMATH DE number 823615
• A dyadic deontic logic in HOL
• Åqvist's dyadic deontic logic \(\mathbf{E}\) in HOL
• scientific article; zbMATH DE number 4023241
• A complete axiom set for Hansson's deontic logic DSDL2
• Maximality in modal logic
• scientific article; zbMATH DE number 3966036
• A purely combinatorial approach to deontic logic
• A Complete and Compact Propositional Deontic Logic

zbMATH Keywords

optimalitydeontic logicmaximalitypreferential semantics

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Modal logic (including the logic of norms) (03B45)

Cites Work

• Nonmonotonic reasoning, preferential models and cumulative logics
• Counterfactuals.
• What does a conditional knowledge base entail?
• Title not available (Why is that?)
• Title not available (Why is that?)
• Maximization and the Act of Choice
• An Analysis of some Deontic Logics
• Title not available (Why is that?)
• Rationality, external norms, and the epistemic value of menus
• Five faces of minimality
• Title not available (Why is that?)
• Title not available (Why is that?)
• An analysis of Hansson's dyadic deontic logic
• Conflicting imperatives and dyadic deontic logic
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• A complete axiom set for Hansson's deontic logic DSDL2
• Title not available (Why is that?)
• Rational Choice and Revealed Preference
• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Preferential Choice Representation Theorems for Branching Time Structures
• Title not available (Why is that?)
• Title not available (Why is that?)
• Ordinal Preference and Rational Choice
• Problems and results for logics about imperatives

Cited In (12)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Unsettling preferential semantics
• 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\)
• Weighted modal logic in epistemic and deontic contexts
• Title not available (Why is that?)
• Conditional normative reasoning as a fragment of HOL
• Dynamic logic of legal competences
• Conditional obligations in justification logic
• On some weakened forms of transitivity in the logic of conditional obligation
• Reasoning about general preference relations

This page was built for publication: Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition

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