Pages that link to "Item:Q3600564"
From MaRDI portal
The following pages link to A Temporal Logic of Normative Systems (Q3600564):
Displaying 5 items.
- Reactive computing as model generation (Q264957) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Normative Consistency: An Xstit Account (Q3121972) (← links)
- Boolean Game with Prioritized Norms (Q3457717) (← links)
- Intentions and potential intentions revisited (Q4583169) (← links)
