Completeness and decidability results for a logic of contrary-to-duty conditionals
From MaRDI portal
Publication:5300583
DOI10.1093/logcom/exs009zbMath1272.03096MaRDI 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
03B45: Modal logic (including the logic of norms)
03B25: Decidability of theories and sets of sentences
Related Items
Automated Kantian ethics: a faithful implementation, A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations, Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support