The following pages link to (Q4893672):
Displaying 7 items.
- Deontic STIT logic, from logical paradox to security policy (Q1797760) (← links)
- Semantics and Pragmatics of Integrity Constraints (Q3458150) (← links)
- Partial integrity (Q3479945) (← links)
- A general treatment of dynamic integrity constraints (Q4541454) (← links)
- Quantification of integrity (Q5740622) (← links)
- Norms and deontic logic (Q6602222) (← links)
- Databases and artificial intelligence (Q6602264) (← links)