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

DOI10.1007/978-3-540-70525-3_15zbMath1144.03016MaRDI 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 completeness; conditional obligation; preference-based semantics; DSDL3

Mathematics Subject Classification ID

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

03A05: Philosophical and critical aspects of logic and foundations

Related Items

COMPLETENESS OF ÅQVIST’S SYSTEMS E AND F, Maximality vs. optimality in dyadic deontic logic. Completeness results for systems in Hansson's tradition, Contrary-To-Duties in Games

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