The following pages link to The dynamic logic of permission (Q4885627):
Displaying 33 items.
- D{\(\Delta\)}L: a dynamic deontic logic (Q375303) (← links)
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Completely and partially executable sequences of actions in deontic context (Q513930) (← 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)
- Permission to speak: a logic for access control and conformance (Q615900) (← links)
- Reasoning about permitted announcements (Q652739) (← links)
- Agential free choice (Q830373) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- Don't ever do that! Long-term duties in \(PD_{e}L\) (Q935022) (← links)
- A theory of permission based on the notion of derogation (Q975881) (← links)
- Dynamic deontic logic and its paradoxes (Q1005939) (← links)
- Logical dynamics of some speech acts that affect obligations and preferences (Q1024131) (← links)
- Computation as social agency: what, how and who (Q1641025) (← links)
- Connecting actions and states in deontic logic (Q1685480) (← links)
- On the complexity of input/output logic (Q1688711) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- Action type deontic logic (Q2258815) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
- The paradoxes of permission an action based solution (Q2447177) (← links)
- The logic of knowledge based obligation (Q2500829) (← links)
- Verified Synthesis of Knowledge-Based Programs in Finite Synchronous Environments (Q3087999) (← links)
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions (Q3537541) (← links)
- Dynamic logic of preference upgrade (Q3647268) (← links)
- Stenius' approach to disjunctive permission (Q3699667) (← links)
- Tableaux methods for access control in distributed systems (Q4610331) (← links)
- Basic action deontic logic (Q5224799) (← links)
- (Q5271378) (← links)
- Free choice permission, legitimization and relating semantics (Q6111086) (← links)
- A unified logical framework for reasoning about deontic properties of actions and states (Q6535323) (← links)
- An arrow-based dynamic logic of normative systems and its decidability (Q6562529) (← links)
