Contrary-to-duty obligations

DOI10.1007/BF00370671zbMath0873.03025OpenAlexW2077212436MaRDI QIDQ1922823

Marek Sergot, Henry Prakken

Publication date: 26 October 1997

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

Full work available at URL: https://doi.org/10.1007/bf00370671

zbMATH Keywords

contrary-to-duty obligationsdeontic logicdefeasible reasoning

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Other nonclassical logic (03B60) Philosophical and critical aspects of logic and foundations (03A05)

Related Items (34)

Ten Problems of Deontic Logic and Normative Reasoning in Computer Science ⋮ Contrary-To-Duties in Games ⋮ Design and evaluation of norm-aware agents based on normative Markov decision processes ⋮ Obligation as optimal goal satisfaction ⋮ Two approaches to the formalisation of defeasible deontic reasoning ⋮ Two dimensional standard deontic logic [including a detailed analysis of the 1985 Jones-Pörn deontic logic system] ⋮ Equivalence of defeasible normative systems ⋮ Permission to speak: a logic for access control and conformance ⋮ The Good, the Bad and the Right: Formal Reductions among Deontic Concepts ⋮ Unnamed Item ⋮ Deontic paradoxes in Mīmāṃsā logics: there and back again ⋮ Practical Normative Reasoning with Defeasible Deontic Logic ⋮ Specifying Intrusion Detection and Reaction Policies: An Application of Deontic Logic ⋮ Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking ⋮ Deontic modals: why abandon the default approach ⋮ Principles Of Talmudic Logic ⋮ Unsettling preferential semantics ⋮ New foundations for imperative logic. III: A general definition of argument validity ⋮ Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance ⋮ A deontic logic framework allowing for factual detachment ⋮ A Formal Language for Electronic Contracts ⋮ Encapsulating deontic and branching time specifications ⋮ A Temporal Logic of Normative Systems ⋮ Challenges in the Specification of Full Contracts ⋮ Mapping deontic operators to abductive expectations ⋮ Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB ⋮ Reasoning about System-Degradation and Fault-Recovery with Deontic Logic ⋮ Defeasible normative reasoning ⋮ Remedial interchange, contrary-to-duty obligation and commutation ⋮ Decision Procedures for a Deontic Logic Modeling Temporal Inheritance of Obligations ⋮ A trace-based model for multiparty contracts ⋮ Multi-modal CTL: completeness, complexity, and an application ⋮ On obligations and normative ability: Towards a logical analysis of the social contract ⋮ Contrary-to-duty reasoning: a categorical approach

Cites Work

• A different approach to deontic logic: Deontic logic viewed as a variant of dynamic logic
• Preference-based deontic logic (PDL)
• Five faces of minimality
• Exploiting the normative aspect of preference: A deontic logic without actions
• Defaults in update semantics
• Prima facie and seeming duties
• Semantic Analyses for Dyadic Deontic Logic
• Unnamed Item
• Unnamed Item

This page was built for publication: Contrary-to-duty obligations