Pages that link to "Item:Q1425188"

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

Displaying 4 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)