Pages that link to "Item:Q3529365"
From MaRDI portal
The following pages link to The Deontic Component of Action Language $n{\mathcal{C}}+$ (Q3529365):
Displaying 9 items.
- Encapsulating deontic and branching time specifications (Q714879) (← links)
- Deontic action logic, atomic Boolean algebras and fault-tolerance (Q846527) (← links)
- Agent strands in the action language \(n\mathcal C +\) (Q931775) (← links)
- An executable specification of a formal argumentation protocol (Q1028953) (← links)
- Multi-modal CTL: completeness, complexity, and an application (Q1037587) (← links)
- Connecting actions and states in deontic logic (Q1685480) (← links)
- A Temporal Logic of Normative Systems (Q3600564) (← links)
- Reasoning about System-Degradation and Fault-Recovery with Deontic Logic (Q3623815) (← links)
- Deontic Logic, Contrary to Duty Reasoning and Fault Tolerance (Q5170187) (← links)
