Pages that link to "Item:Q444496"

The following pages link to A dynamic deontic logic for complex contracts (Q444496):

Displaying 5 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)
• A Decidable Multi-agent Logic for Reasoning About Actions, Instruments, and Norms (Q5098752) (← links)