The following pages link to Deontic Logic in Computer Science (Q5901582):
Displaying 13 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A deontic logic framework allowing for factual detachment (Q545154) (← links)
- Moral dilemmas and nonmonotonic logic (Q1316409) (← links)
- Quantification in some non-normal modal logics (Q1685158) (← links)
- Contrary-to-duty reasoning: a categorical approach (Q2342801) (← links)
- Two adaptive logics of norm-propositions (Q2446539) (← links)
- Obligation, contracts, and negotiation: Outlining an approach (Q2568338) (← links)
- A logic for deontic dilemmas (Q2568341) (← links)
- On the Strong Completeness of Åqvist’s Dyadic Deontic Logic G (Q3522050) (← links)
- Adaptively applying modus ponens in conditional logics of normality (Q4583150) (← links)
- On some questions of L. Åqvist (Q5479021) (← links)
- On some weakened forms of transitivity in the logic of conditional obligation (Q6544539) (← links)
- Conditional normative reasoning as a fragment of HOL (Q6650731) (← links)
