Two approaches to the formalisation of defeasible deontic reasoning

DOI10.1007/BF00370670zbMath0860.03020MaRDI QIDQ1922822

Henry Prakken

Publication date: 21 April 1997

Published in: Studia Logica (Search for Journal in Brave)

zbMATH Keywords

nonmonotonic logicdefault logicdeontic logicanalysis of moral dilemmasformalisation of defeasible deontic reasoningprima facie obligations

Mathematics Subject Classification ID

Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (7)

Obligation as optimal goal satisfaction ⋮ Logical argumentation by dynamic proof systems ⋮ Law and logic: a review from an argumentation perspective ⋮ Deontic modals: why abandon the default approach ⋮ Deductive argumentation by enhanced sequent calculi and dynamic derivations ⋮ A generalized proof-theoretic approach to logical argumentation based on hypersequents ⋮ Introduction: Progress in formal commonsense reasoning

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• A note on algebras of nilpotent matrices
• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Dyadic deontic detachment
• A logic for default reasoning
• Five faces of minimality
• Moral dilemmas and nonmonotonic logic
• An argumentation framework in default logic
• Towards a formal theory of defeasible deontic conditionals
• Contrary-to-duty obligations
• The logic of conditional obligation. Comments by Harry Beatty

This page was built for publication: Two approaches to the formalisation of defeasible deontic reasoning