The following pages link to (Q4295371):
Displaying 21 items.
- Norm-based mechanism design (Q322076) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- 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)
- Law and logic: a review from an argumentation perspective (Q899166) (← 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)
- Blame it on me (Q1986083) (← links)
- A Lewisian taxonomy for deontic logic (Q1989995) (← 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)
- Equivalence of defeasible normative systems (Q4583306) (← links)
- Dischargeable Obligations in the 𝒮CIFF Framework (Q4988947) (← links)
- (Q4993607) (← links)
- (Q4993614) (← links)
- In defence of deontic diversity (Q5222690) (← links)
- COMPLETENESS OF ÅQVIST’S SYSTEMS <b>E</b> AND <b>F</b> (Q5247347) (← links)
- Ernst Mally's Deontik (1926) (Q5937858) (← links)
- Temporal agent programs (Q5940961) (← links)
