Pages that link to "Item:Q1706169"
From MaRDI portal
The following pages link to Reasoning about graded strategy quantifiers (Q1706169):
Displaying 5 items.
- Graded modalities in strategy logic (Q1641034) (← links)
- Sublogics of a branching time logic of robustness (Q1740655) (← links)
- CTL\(^\ast\) with graded path modalities (Q1784942) (← links)
- Model-checking graded computation-tree logic with finite path semantics (Q2285155) (← links)
- Strategies of the search for derivation of statements with restricted quantifiers (Q3675553) (← links)
