Algebraic Properties of Stochastic Effectivity Functions

Ernst-Erich Doberkat

Effectivity functions are the basic formalism for investigating the semantics game logic. We discuss algebraic properties of stochastic effectivity functions, in particular the relationship to stochastic relations, morphisms and congruences are defined, and the relationship of abstract logical equivalence and behavioral equivalence is investigated.

Knowledge Graph



Sign up or login to leave a comment