Pages that link to "Item:Q3167603"
From MaRDI portal
The following pages link to A Computationally Grounded Dynamic Logic of Agency, with an Application to Legal Actions (Q3167603):
Displaying 7 items.
- On the dynamic logic of agency and action (Q456961) (← links)
- Dynamic logic of power and immunity (Q1679751) (← links)
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory (Q1959225) (← links)
- Dynamic logic of legal competences (Q2071574) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Computable models of the law. Languages, dialogues, games, ontologies (Q2379077) (← links)
- Reasoning About the Transfer of Control (Q3563092) (← links)