Algebraic properties of stochastic effectivity functions

DOI10.1016/J.JLAMP.2014.03.002MaRDI QIDQ406467zbMATH OpenOpenAlexFDO

Authors Ernst-Erich Doberkat

Publication date 8 September 2014

Published in Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1403.7745, http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.758.7411

Mathematics Subject Classification ID

Probability in computer science (algorithm analysis, random structures, phase transitions, etc.) (68Q87) Applications of game theory (91A80) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85)

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.

Recommendations

• scientific article; zbMATH DE number 497456
• Stochastic non-determinism and effectivity functions
• Probabilistic properties of generalized stochastic processes in algebras of generalized functions
• scientific article; zbMATH DE number 4133765
• Probability on effect algebras
• scientific article; zbMATH DE number 3939405
• scientific article; zbMATH DE number 3952836
• scientific article; zbMATH DE number 3868358
• scientific article; zbMATH DE number 1245635
• Generalized stochastic processes in algebras of generalized functions

Cites work

• scientific article; zbMATH DE number 3864918 (Why is no real title available?)
• scientific article; zbMATH DE number 3880483 (Why is no real title available?)
• scientific article; zbMATH DE number 3764843 (Why is no real title available?)
• scientific article; zbMATH DE number 53233 (Why is no real title available?)
• scientific article; zbMATH DE number 3222151 (Why is no real title available?)
• A coalgebraic perspective on monotone modal logic
• A stochastic interpretation of propositional dynamic logic: expressivity
• Bisimulation for labelled Markov processes
• Bisimulations for non-deterministic labelled Markov processes
• Coalgebraic logic over general measurable spaces -- a survey
• Dagger categories of tame relations
• Deduction systems for coalgebras over measurable spaces
• Game logic -- an overview
• Handbook of modal logic
• Labelled Markov processes.
• Measurable relations
• Measure theory. Vol. I and II
• Modal logic
• Notions of computation and monads
• Pipelines: modelling a software architecture through relations
• Stochastic Relations
• Stochastic Relations: Congruences, Bisimulations and the Hennessy--Milner Theorem
• The axiom of choice
• Topologies on Spaces of Subsets
• Topology and descriptive set theory

Cited in

(5)

• Congruences for stochastic automata
• Stochastic non-determinism and effectivity functions
• Towards a probabilistic interpretation of game logic
• A stochastic interpretation of game logic
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial

This page was built for publication: Algebraic properties of stochastic effectivity functions

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q406467)