The following pages link to Deontic Logic in Computer Science (Q5901585):
Displaying 6 items.
- Be nice! How simple imperatives simplify imperative logic (Q484191) (← links)
- Problems and results for logics about imperatives (Q598542) (← links)
- Variable priorities and exclusionary reasons in input/output logic (Q1633232) (← links)
- A logic for deontic dilemmas (Q2568341) (← links)
- Conflicting imperatives and dyadic deontic logic (Q2568342) (← links)
- COMPLIANCE AND COMMAND II, IMPERATIVES AND DEONTICS (Q4557164) (← links)