Pages that link to "Item:Q3600564"
From MaRDI portal
The following pages link to A Temporal Logic of Normative Systems (Q3600564):
Displaying 6 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)
- An arrow-based dynamic logic of normative systems and its decidability (Q6562529) (← links)
