Probabilistic modal {\mu}-calculus with independent product (Q4899118)
From MaRDI portal
scientific article; zbMATH DE number 6122246
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Probabilistic modal {\mu}-calculus with independent product |
scientific article; zbMATH DE number 6122246 |
Statements
Probabilistic modal {\mu}-calculus with independent product (English)
0 references
7 January 2013
0 references
probabilistic temporal logic
0 references
game semantics
0 references
two-player stochastic games
0 references
modal \(\mu \)-calculus
0 references
fixed-point logic
0 references
parity games
0 references
Martin's axiom
0 references
