A stochastic interpretation of game logic

DOI10.1016/j.jlamp.2017.02.001zbMath1471.03045arXiv1403.7765OpenAlexW1769569979MaRDI QIDQ516033

Ernst-Erich Doberkat

Publication date: 20 March 2017

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.7765

Mathematics Subject Classification ID

2-person games (91A05) Modal logic (including the logic of norms) (03B45)

Related Items (1)

Using coalgebras and the Giry monad for interpreting game logics -- a tutorial

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Dagger categories of tame relations
• Algebraic properties of stochastic effectivity functions
• Topological proofs of some Rasiowa-Sikorski lemmas
• A probabilistic PDL
• Three problems of Aronszajn in measure theory
• Set theory. With an introduction to descriptive set theory. Translation of the original Polish edition. 2nd, completely revised ed
• Coalgebraic logic
• Topology and descriptive set theory
• Game logic -- an overview
• Logic games are complete for game logics
• The basic algebra of game equivalences
• Representation of game algebras
• Expressivity of coalgebraic modal logic: the limits and beyond
• A stochastic interpretation of propositional dynamic logic: expressivity
• Stochastic non-determinism and effectivity functions
• Coalgebraic Logic over Measurable Spaces: Behavioral and Logical Equivalence
• Deduction Systems for Coalgebras Over Measurable Spaces
• Bisimulations for non-deterministic labelled Markov processes
• Special Topics in Mathematics for Computer Scientists
• Towards a Probabilistic Interpretation of Game Logic
• Axiom of choice
• The axiom of choice

This page was built for publication: A stochastic interpretation of game logic