Completeness of Åqvist's systems E and F

DOI10.1017/S1755020314000367zbMATH Open1371.03027OpenAlexW1981874543MaRDI QIDQ5247347FDOQ5247347

Authors: 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

Recommendations

• Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
• A Complete and Compact Propositional Deontic Logic
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• scientific article; zbMATH DE number 823615
• On some questions of L. Åqvist

zbMATH Keywords

completenessdyadic deontic systemsHanssonian preference-based semanticsmaximality ruleoptimality rule

Mathematics Subject Classification ID

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

Cites Work

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

Cited In (10)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Unsettling preferential semantics
• βη-complete models for System F
• 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?)
• Conditional normative reasoning as a fragment of HOL
• The extensions \(\mathcal L_n^{\ast}\) of the formal system \(\mathcal L^{\ast}\) and their completeness.
• Conditional obligations in justification logic
• On some weakened forms of transitivity in the logic of conditional obligation

This page was built for publication: Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)

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