Pages that link to "Item:Q931775"
From MaRDI portal
The following pages link to Agent strands in the action language \(n\mathcal C +\) (Q931775):
Displaying 5 items.
- Connecting actions and states in deontic logic (Q1685480) (← links)
- From oughts to goals: a logic for Enkrasia (Q2304625) (← links)
- Time Is Up! – Norms with Deadlines in Action Languages (Q2851972) (← links)
- Making Golog Norm Compliant (Q3092308) (← links)
- A unified logical framework for reasoning about deontic properties of actions and states (Q6535323) (← links)