Remedial interchange, contrary-to-duty obligation and commutation

DOI10.3166/JANCL.13.345-375MaRDI QIDQ3643260zbMATH OpenOpenAlexFDO

Authors Xavier Parent

Publication date 11 November 2009

Published in Journal of Applied Non-Classical Logics (Search for Journal in Brave)

Full work available at URL https://doi.org/10.3166/jancl.13.345-375

zbMATH Keywords

contrary-to-duty obligationconversational interactiondeontic tense logiciterated revisionpreference-based semantics for deontic logicremedial interchange

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Logic of natural languages (03B65)

Recommendations

• Contrary-to-duty obligations
• scientific article; zbMATH DE number 1163377
• The equational approach to contrary-to-duty obligations
• Interval obligation rules and related results
• Sanction semantics and contrary-to-duty obligations
• Carmo and Jones’ logic for contrary-to-duty obligations revised
• scientific article; zbMATH DE number 2120421
• scientific article; zbMATH DE number 1738697
• Permission and Obligation in Ceteris Paribus
• A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations

Cites work

• A logic for default reasoning
• An Analysis of some Deontic Logics
• Argument-based extended logic programming with defeasible priorities
• Circumscription - a form of non-monotonic reasoning
• Conditional Obligation
• Constraints for input/output logics
• Contrary-to-duty obligations
• Controlled Revision - An algorithmic approach for belief revision
• Defaults in update semantics
• Dynamic belief revision operators
• Five faces of minimality
• scientific article; zbMATH DE number 698626 (Why is no real title available?)
• Iterated revision and minimal change of conditional beliefs
• Nonmonotonic reasoning, preferential models and cumulative logics
• Old foundations for the logic of agency and action
• Persuasion in Practical Argument Using Value-based Argumentation Frameworks
• Revision by comparison
• Semantical considerations on nonmonotonic logic
• The Gärdenfors impossibility theorem in non-monotonic contexts

Cited in

(4)

• Contrary-to-duty obligations
• Ten problems of deontic logic and normative reasoning in computer science
• On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G
• Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB

This page was built for publication: Remedial interchange, contrary-to-duty obligation and commutation

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3643260)