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

DOI10.1093/LOGCOM/EXS009MaRDI QIDQ5300583zbMATH OpenOpenAlexFDO

Authors 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)

Recommendations

• How to Do Things with Worlds: on Formalizing Actions and Plans
• Semantics for the logic of essence
• Prima facie obligation
• Necessity and relative contingency
• Deontic logic and possible worlds semantics: A historical sketch
• scientific article; zbMATH DE number 795161
• World-indexed sentences and modality
• A guide to completeness and complexity for modal logics of knowledge and belief
• Meredith, Prior, and the history of possible worlds semantics
• Action models for conditionals

Cited in

(6)

• Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support
• Automated Kantian ethics: a faithful implementation
• Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments
• Time and actual obligations
• Some Completeness Results for Propositional Conditional Logics
• 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

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