The following pages link to A STIT-Extension of ATL (Q3533122):
Displayed 9 items.
- Combinations of \textit{stit} with \textit{ought} and \textit{know} (Q266671) (← links)
- Deontic epistemic stit logic distinguishing modes of mens rea (Q545173) (← links)
- Combinations of stit and actions (Q616041) (← links)
- Making a start with the stit logic analysis of intentional action (Q652741) (← links)
- Actions as events (Q692178) (← links)
- Living up to one's commitments: Agency, strategies and trust (Q931781) (← links)
- On Satisfiability in ATL with Strategy Contexts (Q2915087) (← links)
- A Logical Analysis of the Interaction between ‘Obligation-to-do’ and ‘Knowingly Doing’ (Q3522047) (← links)
- A Complete STIT Logic for Knowledge and Action, and Some of Its Applications (Q3601785) (← links)