Pages that link to "Item:Q2859103"
From MaRDI portal
The following pages link to Reasoning about Actions Meets Strategic Logics (Q2859103):
Displayed 6 items.
- Refining strategic ability in alternating-time temporal logic (Q528195) (← links)
- Augmenting ATL with strategy contexts (Q897650) (← links)
- Blame it on me (Q1986083) (← links)
- A logic of goal-directed knowing how (Q2218708) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Formal modelling and verification of probabilistic resource bounded agents (Q6190087) (← links)