Pages that link to "Item:Q1922825"
From MaRDI portal
The following pages link to Deontic database constraints, violation and recovery (Q1922825):
Displaying 7 items.
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- A deontic approach to database integrity (Q1353862) (← links)
- The inheritance of dynamic and deontic integrity constraints or: Does the boss have more rights? (Q1360685) (← links)
- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic (Q3623815) (← links)
- A unified logical framework for reasoning about deontic properties of actions and states (Q6535323) (← links)