The following pages link to (Q4295371):
Displayed 10 items.
- Normative positions within an algebraic approach to normative systems (Q598543) (← links)
- A formalisation of violation, error recovery, and enforcement in the bit transmission problem (Q598545) (← links)
- Action negation and alternative reductions for dynamic deontic logics (Q598547) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- On obligations and normative ability: Towards a logical analysis of the social contract (Q2568339) (← links)
- Violation games: a new foundation for deontic logic ★ (Q2901204) (← links)
- Ernst Mally's Deontik (1926) (Q5937858) (← links)
- Temporal agent programs (Q5940961) (← links)