Pages that link to "Item:Q2046875"
From MaRDI portal
The following pages link to Proof-theoretic analysis of the logics of agency: the deliberative STIT (Q2046875):
Displaying 7 items.
- Alternative axiomatics and complexity of deliberative STIT theories (Q939059) (← links)
- A dynamic logic of agency. II: Deterministic \({\mathcal{DLA}}\), coalition logic, and game theory (Q1959225) (← links)
- Causal agency and responsibility: a refinement of STIT logic (Q2086538) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Mechanising Gödel-Löb provability logic in HOL light (Q6050769) (← links)
- <scp>Stit</scp>-LOGIC FOR IMAGINATION EPISODES WITH VOLUNTARY INPUT (Q6051425) (← links)
- Decidable fragments of the quantified argument calculus (Q6638233) (← links)