Probabilistic modal {\mu}-calculus with independent product

DOI10.2168/LMCS-8(4:18)2012zbMath1261.03083OpenAlexW3103382047MaRDI QIDQ4899118

Matteo Mio

Publication date: 7 January 2013

Published in: Logical Methods in Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.2168/lmcs-8(4:18)2012

zbMATH Keywords

parity gamesMartin's axiomgame semanticsfixed-point logicmodal \(\mu \)-calculusprobabilistic temporal logictwo-player stochastic games

Mathematics Subject Classification ID

Stochastic games, stochastic differential games (91A15) Logic in computer science (03B70) Models and methods for concurrent and distributed computing (process algebras, bisimulation, transition nets, etc.) (68Q85) Continuum hypothesis and Martin's axiom (03E50) Temporal logic (03B44)

Related Items (9)

Unnamed Item ⋮ Measure Properties of Game Tree Languages ⋮ Equivalence of probabilistic \(\mu\)-calculus and p-automata ⋮ Measure properties of regular sets of trees ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ The uniform measure of simple regular sets of infinite trees ⋮ OBLIGATION BLACKWELL GAMES AND P-AUTOMATA

This page was built for publication: Probabilistic modal {\mu}-calculus with independent product