Pages that link to "Item:Q939059"
From MaRDI portal
The following pages link to Alternative axiomatics and complexity of deliberative STIT theories (Q939059):
Displayed 9 items.
- A logic for reasoning about counterfactual emotions (Q543627) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Actions as events (Q692178) (← links)
- Complexity results of STIT fragments (Q1928487) (← links)
- Probabilistic stit logic and its decomposition (Q1951297) (← links)
- A dynamic logic of agency. I: STIT, capabilities and powers (Q2268355) (← links)
- Probabilistic Stit Logic (Q3011971) (← links)
- REASONING WITH PROTOCOLS UNDER IMPERFECT INFORMATION (Q3096821) (← links)
- Model Checking Strategic Equilibria (Q3614880) (← links)