Algebraic properties of stochastic effectivity functions

DOI10.1016/J.JLAMP.2014.03.002zbMATH Open1434.68336arXiv1403.7745OpenAlexW2061804241MaRDI QIDQ406467FDOQ406467

Authors: Ernst-Erich Doberkat 

Publication date: 8 September 2014

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

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.

Full work available at URL: https://arxiv.org/abs/1403.7745

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
• 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

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)

Cites Work

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

Cited In (3)

• Title not available (Why is that?)
• Using coalgebras and the Giry monad for interpreting game logics -- a tutorial
• A stochastic interpretation of game logic

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)