On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G

DOI10.1007/978-3-540-70525-3_15zbMath1144.03016OpenAlexW2156405942MaRDI QIDQ3522050

Xavier Parent

Publication date: 28 August 2008

Published in: Lecture Notes in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/978-3-540-70525-3_15

zbMATH Keywords

strong completenessconditional obligationpreference-based semanticsDSDL3

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (5)

Contrary-To-Duties in Games ⋮ Unnamed Item ⋮ Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition ⋮ COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F ⋮ Reasoning about general preference relations

Cites Work

• Handbook of philosophical logic. Vol. 8
• Dyadic deontic detachment
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• An analysis of Hansson's dyadic deontic logic
• Unifying default reasoning and belief revision in a modal framework
• Defeasible deontic logic
• Handbook of philosophical logic. Vol. 7
• Contrary-to-duty reasoning with preference-based dyadic obligations
• On Chisholm's paradox
• Remedial interchange, contrary-to-duty obligation and commutation
• Using the Universal Modality: Gains and Questions
• Maximization and the Act of Choice
• Contrary-to-Duty Imperatives and Conditional Obligation
• An Analysis of some Deontic Logics
• Deontic Logic in Computer Science
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item

This page was built for publication: On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G