Pages that link to "Item:Q5300583"
From MaRDI portal
The following pages link to Completeness and decidability results for a logic of contrary-to-duty conditionals (Q5300583):
Displaying 6 items.
- A conflict between some semantic conditions of Carmo and Jones for contrary-to-duty obligations (Q519858) (← links)
- Designing normative theories for ethical and legal reasoning: \textsc{LogiKEy} framework, methodology, and tool support (Q2211865) (← links)
- Some Completeness Results for Propositional Conditional Logics (Q4834298) (← links)
- Automated Kantian ethics: a faithful implementation (Q6045094) (← links)
- Dyadic deontic logic in HOL: faithful embedding and meta-theoretical experiments (Q6618558) (← links)
- Time and actual obligations (Q6629069) (← links)