Pages that link to "Item:Q1425187"
From MaRDI portal
The following pages link to Logic games are complete for game logics (Q1425187):
Displaying 12 items.
- The guarding game is E-complete (Q389949) (← links)
- Transition semantics: the dynamics of dependence logic (Q484952) (← links)
- A stochastic interpretation of game logic (Q516033) (← links)
- Modelling simultaneous games in dynamic logic (Q1024134) (← links)
- Game logic -- an overview (Q1425186) (← links)
- The basic algebra of game equivalences (Q1425189) (← links)
- Representation of game algebras (Q1425190) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- Games for active XML revisited (Q2402614) (← links)
- Playing Savitch and Cooking Games (Q5187817) (← links)
- On Semantic Gamification (Q5224500) (← links)
- INSTANTIAL NEIGHBOURHOOD LOGIC (Q5737964) (← links)