Pages that link to "Item:Q1425188"
From MaRDI portal
The following pages link to Game logic is strong enough for parity games (Q1425188):
Displaying 9 items.
- The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
- A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
- An introduction to game logic (Q2702562) (← links)
- The mu-calculus and Model Checking (Q3176384) (← links)
- The Descriptive Complexity of Parity Games (Q3540190) (← links)
- Game Quantification Patterns (Q3601804) (← links)
- Deciding the unguarded modal -calculus (Q4583323) (← links)
- (Q5014445) (← links)
- Differential Game Logic (Q5277902) (← links)