Deontic logic as founded on nonmonotonic logic

DOI10.1007/BF01531262zbMath0866.03012MaRDI QIDQ1353848

John F. Horty

Publication date: 6 May 1997

Published in: Annals of Mathematics and Artificial Intelligence (Search for Journal in Brave)

zbMATH Keywords

modal logicnonmonotonic logicdeontic logiccommonsense normative reasoningreasoning in the presence of conflicting obligationsreasoning with conditional obligations

Mathematics Subject Classification ID

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

Related Items

The deliberative stit: A study of action, omission, ability, and obligation ⋮ Obligation as optimal goal satisfaction ⋮ Prima facie obligation ⋮ Equivalence of defeasible normative systems ⋮ Unsettling preferential semantics ⋮ A deontic logic framework allowing for factual detachment ⋮ THE LOGIC OF ROLE THEORY: ROLE CONFLICT AND STABILITY OF THE SELF-CONCEPT ⋮ Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB ⋮ Agency and obligation

Cites Work

• An approach to default reasoning based on a first-order conditional logic: Revised report
• Efficient reasoning about rich temporal domains
• A logic for default reasoning
• Circumscription - a form of non-monotonic reasoning
• Nonmonotonic reasoning, preferential models and cumulative logics
• How to reason defeasibly
• The logic of conditional obligation. Comments by Harry Beatty
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item