Carmo and Jones’ logic for contrary-to-duty obligations revised

DOI10.1093/LOGCOM/EXAC026MaRDI QIDQ5044544zbMATH OpenOpenAlexFDO

Authors José Carmo, Andrew J. I. Jones

Publication date 1 November 2022

Published in Journal Of Logic And Computation (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1093/logcom/exac026

zbMATH Keywords

deontic logiccompleteness and finite model propertycontrary-to-duty conditionals (CTDs)

Mathematics Subject Classification ID

Mathematical logic and foundations (03-XX) Computer science (68-XX)

Recommendations

• Completeness and decidability results for a logic of contrary-to-duty conditionals
• scientific article; zbMATH DE number 1163377
• scientific article; zbMATH DE number 1735831
• Reactive Kripke Models and Contrary to Duty Obligations
• Temporal alethic dyadic deontic logic and the contrary-to-duty obligation paradox

Cited in

(2)

• Contrary-to-duty obligations
• Remedial interchange, contrary-to-duty obligation and commutation

This page was built for publication: Carmo and Jones’ logic for contrary-to-duty obligations revised

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