Pages that link to "Item:Q1425188"

The following pages link to Game logic is strong enough for parity games (Q1425188):

Displaying 7 items.

• The variable hierarchy for the games \(\mu \)-calculus (Q636308) (← links)
• A propositional dynamic logic for instantial neighborhood semantics (Q2323639) (← links)
• The mu-calculus and Model Checking (Q3176384) (← links)
• Game Quantification Patterns (Q3601804) (← links)
• Deciding the unguarded modal -calculus (Q4583323) (← links)
• (Q5014445) (← links)
• Differential Game Logic (Q5277902) (← links)