COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F

DOI10.1017/S1755020314000367zbMath1371.03027OpenAlexW1981874543MaRDI QIDQ5247347

Xavier Parent

Publication date: 24 April 2015

Published in: The Review of Symbolic Logic (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1017/s1755020314000367

zbMATH Keywords

completenessdyadic deontic systemsHanssonian preference-based semanticsmaximality ruleoptimality rule

Mathematics Subject Classification ID

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

Related Items (3)

Conditional obligations in justification logic ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ Unsettling preferential semantics

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• Handbook of philosophical logic. Vol. 8
• Counterfactuals and comparative possibility
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• An analysis of Hansson's dyadic deontic logic
• Basic conditional logic
• Five faces of minimality
• Nonmonotonic logics. Basic concepts, results, and techniques
• 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
• Rational Choice and Revealed Preference
• Maximization and the Act of Choice
• Preferential Choice Representation Theorems for Branching Time Structures
• An Analysis of some Deontic Logics
• Choice Functions and Revealed Preference
• Ordinal Preference and Rational Choice
• Rational Selection of Decision Functions

This page was built for publication: COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F