Remedial interchange, contrary-to-duty obligation and commutation

DOI10.3166/jancl.13.345-375zbMath1181.03019MaRDI QIDQ3643260

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

iterated revision; contrary-to-duty obligation; conversational interaction; deontic tense logic; preference-based semantics for deontic logic; remedial interchange

Mathematics Subject Classification ID

03B45: Modal logic (including the logic of norms)

03B65: Logic of natural languages

Related Items

Epistemic formulae, argument structures, and a narrative on identity and deception: a formal representation from the AJIT subproject within AURANGZEB, Ten Problems of Deontic Logic and Normative Reasoning in Computer Science, On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G

Cites Work

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