Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition
From MaRDI portal
(Redirected from Publication:484199)
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
Cites work
- scientific article; zbMATH DE number 3875224 (Why is no real title available?)
- scientific article; zbMATH DE number 4051556 (Why is no real title available?)
- scientific article; zbMATH DE number 4104920 (Why is no real title available?)
- scientific article; zbMATH DE number 3670430 (Why is no real title available?)
- scientific article; zbMATH DE number 3708349 (Why is no real title available?)
- scientific article; zbMATH DE number 1032010 (Why is no real title available?)
- scientific article; zbMATH DE number 1163374 (Why is no real title available?)
- scientific article; zbMATH DE number 1749193 (Why is no real title available?)
- scientific article; zbMATH DE number 2170951 (Why is no real title available?)
- scientific article; zbMATH DE number 1405878 (Why is no real title available?)
- scientific article; zbMATH DE number 3339381 (Why is no real title available?)
- A complete axiom set for Hansson's deontic logic DSDL2
- An Analysis of some Deontic Logics
- An analysis of Hansson's dyadic deontic logic
- Conflicting imperatives and dyadic deontic logic
- Counterfactuals.
- Five faces of minimality
- Maximization and the Act of Choice
- Nonmonotonic reasoning, preferential models and cumulative logics
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
- Ordinal Preference and Rational Choice
- Preferential Choice Representation Theorems for Branching Time Structures
- Problems and results for logics about imperatives
- Rational Choice and Revealed Preference
- Rationality, external norms, and the epistemic value of menus
- What does a conditional knowledge base entail?
Cited in
(12)- Reasoning about general preference relations
- Completeness of Åqvist's systems \(\mathbf E\) and \(\mathbf F\)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
- On some weakened forms of transitivity in the logic of conditional obligation
- A complete axiom set for Hansson's deontic logic DSDL2
- Conditional normative reasoning as a fragment of HOL
- Unsettling preferential semantics
- Dynamic logic of legal competences
- scientific article; zbMATH DE number 823615 (Why is no real title available?)
- Weighted modal logic in epistemic and deontic contexts
- Conditional obligations in justification logic
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
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)
