The following pages link to Model Checking Games (Q4916199):
Displaying 6 items.
- Abstract argument games via modal logic (Q484918) (← links)
- Model-checking games for fixpoint logics with partial order models (Q532389) (← links)
- On the expressive power of monadic least fixed point logic (Q817849) (← links)
- An Application of Model Checking Games to Abstract Argumentation (Q3093997) (← links)
- A Dynamic Algorithm for Reachability Games Played on Trees (Q3182948) (← links)
- Model-Checking Games for Fixpoint Logics with Partial Order Models (Q3184685) (← links)
