Pages that link to "Item:Q444496"
From MaRDI portal
The following pages link to A dynamic deontic logic for complex contracts (Q444496):
Displaying 9 items.
- 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 survey of challenges for runtime verification from advanced application domains (beyond software) (Q2008293) (← links)
- A framework for conflict analysis of normative texts written in controlled natural language (Q2436456) (← links)
- Sequences, Obligations, and the Contrary-to-Duty Paradox (Q3529367) (← links)
- Logical approaches to deontic reasoning: From basic questions to dynamic solutions (Q3537541) (← links)
- A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms (Q5098752) (← links)
- Deontic Logic in Computer Science (Q5901592) (← links)
- A logical framework for the Islamic law (Q6618551) (← links)
