Using Coalgebras and the Giry Monad for Interpreting Game Logics --- A Tutorial

Ernst-Erich Doberkat

The stochastic interpretation of Parikh's game logic should not follow the usual pattern of Kripke models, which in turn are based on the Kleisli morphisms for the Giry monad, rath…