A deontic logic framework allowing for factual detachment

DOI10.1016/J.JAL.2010.11.001zbMath1229.03021OpenAlexW2145552335MaRDI QIDQ545154

Christian Straßer

Publication date: 22 June 2011

Published in: Journal of Applied Logic (Search for Journal in Brave)

Full work available at URL: https://biblio.ugent.be/publication/1101420

zbMATH Keywords

modus ponensadaptive logicdefeasible reasoningconditional deontic logicconditional obligationdyadic deontic logicfactual detachment

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60)

Related Items (9)

An inconsistency-adaptive deontic logic for normative conflicts ⋮ Adaptive logic characterizations of input/output logic ⋮ Adaptively applying modus ponens in conditional logics of normality ⋮ Two adaptive logics of norm-propositions ⋮ The categorical imperative: category theory as a foundation for deontic logic ⋮ A deontic logic framework allowing for factual detachment ⋮ A conditional logic for abduction ⋮ A Paraconsistent Multi-agent Framework for Dealing with Normative Conflicts ⋮ Contrary-to-duty reasoning: a categorical approach

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• A deontic logic framework allowing for factual detachment
• Handbook of philosophical logic. Vol. 8
• A universal logic approach to adaptive logics
• Dyadic deontic detachment
• A logic for default reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• What does a conditional knowledge base entail?
• Conditional logics of normality: A modal approach
• Deontic logic as founded on nonmonotonic logic
• Contrary-to-duty obligations
• Contrary-to-duty reasoning with preference-based dyadic obligations
• An inconsistency-adaptive deontic logic for normative conflicts
• The logic of conditional obligation. Comments by Harry Beatty
• Conditional deontic logic augmented with defeasible reasoning
• A Formal Logic for Abductive Reasoning
• Avoiding Deontic Explosion by Contextually Restricting Aggregation
• Deontic Logic in Computer Science

This page was built for publication: A deontic logic framework allowing for factual detachment