{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T12:07:04Z","timestamp":1764850024636,"version":"3.46.0"},"reference-count":0,"publisher":"IOS Press","isbn-type":[{"value":"9781643686387","type":"electronic"}],"license":[{"start":{"date-parts":[[2025,12,2]],"date-time":"2025-12-02T00:00:00Z","timestamp":1764633600000},"content-version":"unspecified","delay-in-days":0,"URL":"https:\/\/creativecommons.org\/licenses\/by-nc\/4.0\/"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2025,12,2]]},"abstract":"<jats:p>We present a rights-first model of contrary-to-duty (CTD) reasoning with two remedial regimes and a revision track. In the CTD-Claim regime, when a primary duty is not fulfilled and no exception applies, a remedial claim detaches automatically, without any recognition act. In the CTD-Power regime, a remedial claim arises only if the rights-holder exercises a recognition power; until then there is no recognised violation and no remedial duty. Revision-of-Duty (RoD) is an alternative discretionary power that adapts the primary duty without recognising a violation, keeping the purpose aligned and avoiding sanctions. Under CTD-Power, revision competes directly with recognition on the same case. We develop a model for agreements, give concise dynamic-logic-style specifications of guards and acts, implement an institutional rights system that executes these specifications over live Hohfeldian bundles (with per-case exclusivity, exception handling and provenance), and show how agentic AI can use reasons to choose among the admissible acts within the rights-first framework.<\/jats:p>","DOI":"10.3233\/faia251577","type":"book-chapter","created":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T12:04:37Z","timestamp":1764849877000},"source":"Crossref","is-referenced-by-count":0,"title":["Contrary-to-Duty Rights: From Hohfeld to Agreement Revision"],"prefix":"10.3233","author":[{"given":"Huimin","family":"Dong","sequence":"first","affiliation":[{"name":"TU Wien, Vienna, Austria"}]},{"given":"Leendert","family":"van der Torre","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"},{"name":"Zhejiang University, Hangzhou, China"}]},{"given":"Liuwen","family":"Yu","sequence":"additional","affiliation":[{"name":"University of Luxembourg, Esch-sur-Alzette, Luxembourg"}]}],"member":"7437","container-title":["Frontiers in Artificial Intelligence and Applications","Legal Knowledge and Information Systems"],"original-title":[],"link":[{"URL":"https:\/\/ebooks.iospress.nl\/pdf\/doi\/10.3233\/FAIA251577","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,12,4]],"date-time":"2025-12-04T12:04:37Z","timestamp":1764849877000},"score":1,"resource":{"primary":{"URL":"https:\/\/ebooks.iospress.nl\/doi\/10.3233\/FAIA251577"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2025,12,2]]},"ISBN":["9781643686387"],"references-count":0,"URL":"https:\/\/doi.org\/10.3233\/faia251577","relation":{},"ISSN":["0922-6389","1879-8314"],"issn-type":[{"value":"0922-6389","type":"print"},{"value":"1879-8314","type":"electronic"}],"subject":[],"published":{"date-parts":[[2025,12,2]]}}}