Completeness and decidability results for a logic of contrary-to-duty conditionals
From MaRDI portal
Publication:5300583
DOI10.1093/LOGCOM/EXS009zbMATH Open1272.03096OpenAlexW2065024328MaRDI QIDQ5300583FDOQ5300583
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
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
Modal logic (including the logic of norms) (03B45) Decidability of theories and sets of sentences (03B25)
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)
