Algebraic Properties of Stochastic Effectivity Functions
Logic in Computer Science
2014-04-01 v1
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.
Cite
@article{arxiv.1403.7745,
title = {Algebraic Properties of Stochastic Effectivity Functions},
author = {Ernst-Erich Doberkat},
journal= {arXiv preprint arXiv:1403.7745},
year = {2014}
}
Comments
Accepted for publication, J. Log. Alg. Prog