The following pages link to (Q4329182):
Displayed 6 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- Action negation and alternative reductions for dynamic deontic logics (Q598547) (← links)
- Ten Problems of Deontic Logic and Normative Reasoning in Computer Science (Q3166987) (← links)
- Challenges in the Specification of Full Contracts (Q3605474) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)
- A Formal Language for Electronic Contracts (Q5428911) (← links)