Critical analysis of the Carmo-Jones system of Contrary-to-Duty obligations
Dov Gabbay, Karl Schlechta (LIF)
TL;DR
This paper critically examines the Carmo-Jones system of contrary-to-duty obligations, providing analysis, simplification, and comparison with a related alternative system.
Contribution
It offers a detailed analysis and improvements to the Carmo-Jones system, along with a comparative evaluation of an alternative approach.
Findings
Simplified the Carmo-Jones system for better understanding.
Identified limitations and proposed repairs to the original system.
Compared the original and new systems to highlight differences.
Abstract
We offer a technical analysis of the contrary to duty system proposed in Carmo-Jones. We offer analysis/simplification/repair of their system and compare it with our own related system.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
Taxonomy
TopicsLogic, Reasoning, and Knowledge · Logic, programming, and type systems · Multi-Agent Systems and Negotiation