The following pages link to A deontic logic of action (Q792312):
Displaying 24 items.
- A dynamic deontic logic for complex contracts (Q444496) (← links)
- The categorical imperative: category theory as a foundation for deontic logic (Q472796) (← links)
- Deontic logic for strategic games (Q486968) (← links)
- Completely and partially executable sequences of actions in deontic context (Q513930) (← links)
- Tableau systems for deontic action logics based on finite Boolean algebras, and their complexity (Q526730) (← links)
- Synchronous Kleene algebra (Q710676) (← links)
- Connecting actions and states in deontic logic (Q1685480) (← links)
- Free choice and contextually permitted actions (Q1922828) (← links)
- Reasoning about actions and obligations in first-order logic (Q1922829) (← links)
- Generalizing deontic action logic (Q2157600) (← links)
- Introducing synchrony in fuzzy automata (Q2219075) (← links)
- Action type deontic logic (Q2258815) (← links)
- Deontology of compound actions (Q2304622) (← links)
- Supercover semantics for deontic action logic (Q2322983) (← links)
- Jerzy Kalinowski's logic of normative sentences revisited (Q2352460) (← links)
- The paradoxes of permission an action based solution (Q2447177) (← links)
- Deontic Reasoning Across Contexts (Q2879303) (← links)
- Towards a First-Order Deontic Action Logic (Q2890324) (← links)
- A logic for reasoning about moral agents (Q2973440) (← links)
- $\mathcal{CL}$ : An Action-Based Logic for Reasoning about Contracts (Q3638294) (← links)
- (Q4938867) (← links)
- (Q5018505) (← links)
- (Q5224810) (← links)
- Weighted synchronous automata (Q5889309) (← links)
