Pages that link to "Item:Q5079747"
From MaRDI portal
The following pages link to Quantifying Bounds in Strategy Logic (Q5079747):
Displaying 6 items.
- A logic of strategic ability under bounded memory (Q1006515) (← links)
- Dependences in strategy logic (Q1987514) (← links)
- Synthesis of Strategies and the Hoare Logic of Angelic Nondeterminism (Q2948549) (← links)
- Model Checking Logics of Strategic Ability: Complexity* (Q3056329) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)
- Weighted Strategy Logic with Boolean Goals Over One-Counter Games. (Q5278311) (← links)