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 logic; default logic; deontic logic; analysis of moral dilemmas; formalisation of defeasible deontic reasoning; prima facie obligations

Mathematics Subject Classification ID

03B60: Other nonclassical logic

03A05: Philosophical and critical aspects of logic and foundations

Related Items

Introduction: Progress in formal commonsense reasoning, Law and logic: a review from an argumentation perspective, Obligation as optimal goal satisfaction, Deontic modals: why abandon the default approach, Deductive argumentation by enhanced sequent calculi and dynamic derivations, Logical argumentation by dynamic proof systems

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