2000 character limit reached
Algebraic Properties of Stochastic Effectivity Functions (1403.7745v1)
Published 30 Mar 2014 in cs.LO
Abstract: 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.