The following pages link to Substructure Temporal Logic (Q5271074):
Displaying 10 items.
- On modal logics of model-theoretic relations (Q831223) (← links)
- Solving parity games via priority promotion (Q1742991) (← links)
- A delayed promotion policy for parity games (Q1784960) (← links)
- Robust worst cases for parity games algorithms (Q2182730) (← links)
- Reasoning About Strategies (Q2946746) (← links)
- Reasoning About Substructures and Games (Q2957764) (← links)
- (Q3384167) (← links)
- Good-for-Game QPTL: An Alternating Hodges Semantics (Q5875946) (← links)
- Taming strategy logic: non-recurrent fragments (Q6077842) (← links)
- Priority promotion with Parysian flair (Q6627044) (← links)