Pages that link to "Item:Q516033"
From MaRDI portal
The following pages link to A stochastic interpretation of game logic (Q516033):
Displaying 6 items.
- Stochastic game logic (Q715046) (← links)
- Game logic -- an overview (Q1425186) (← links)
- Using coalgebras and the Giry monad for interpreting game logics -- a tutorial (Q1712599) (← links)
- An introduction to game logic (Q2702562) (← links)
- A stochastic interpretation of propositional dynamic logic: expressivity (Q2892686) (← links)
- (Q4842972) (← links)