The following pages link to Deontic Logic in Computer Science (Q5901589):
Displaying 4 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Substantive and procedural norms in normative multiagent systems (Q931774) (← links)
- A logic of delegation (Q2269132) (← links)
- Obligation, contracts, and negotiation: Outlining an approach (Q2568338) (← links)