The following pages link to Law and logic (Q5682312):
Displaying 14 items.
- A STIT logic for reasoning about social influence (Q310094) (← links)
- Deontic logic for strategic games (Q486968) (← links)
- Action negation and alternative reductions for dynamic deontic logics (Q598547) (← links)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Getting started: Beginnings in the logic of action (Q1207426) (← links)
- On bringing it about (Q1908787) (← links)
- Dynamic logic of legal competences (Q2071574) (← links)
- Agents necessitating effects in Newtonian time and space: from power and opportunity to effectivity (Q2219142) (← links)
- Understanding Hohfeld and formalizing legal rights: the Hohfeldian conceptions and their conditional consequences (Q2304626) (← links)
- Actions and outcomes: two aspects of agency (Q2460164) (← links)
- Is Unsaying Polite? (Q2908789) (← links)
- Ergo 6: A Generic Proof Engine that Uses Prolog Proof Technology (Q4827602) (← links)
- On the Reconciliation of Logics of Agency and Logics of Event Types (Q4982651) (← links)
- A modal action logic based framework for organization specification and analysis (Q5235257) (← links)