Completeness and decidability results for a logic of contrary-to-duty conditionals

DOI10.1093/LOGCOM/EXS009zbMath1272.03096OpenAlexW2065024328MaRDI QIDQ5300583

José Carmo, Andrew J. I. Jones

Publication date: 27 June 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://semanticscholar.org/paper/4fe7a2b44b3983eda1fc8ad1c4c47b9c315dc02e

zbMATH Keywords

completenessdecidabilitydeontic logiccontrary-to-duty conditionals

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)

Related Items (3)

Automated Kantian ethics: a faithful implementation ⋮ Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support ⋮ A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations

This page was built for publication: Completeness and decidability results for a logic of contrary-to-duty conditionals