Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: On the equivalence of game and denotational semantics for the
  probabilistic mu-calculus   The probabilistic (or quantitative) modal mu-calculus is a fixed-point logic
de- signed for expressing properties of probabilistic labeled transition
systems (PLTS). Two semantics have been studied for this logic, both assigning
to every process state a value in the interval [0,1] representing the
probability that the property expressed by the formula holds at the state. One
semantics is denotational and the other is a game semantics, specified in terms
of two-player stochastic games. The two semantics have been proved to coincide
on all finite PLTS's, but the equivalence of the two semantics on arbitrary
models has been open in literature. In this paper we prove that the equivalence
indeed holds for arbitrary infinite models, and thus our result strengthens the
fruitful connection between denotational and game semantics. Our proof adapts
the unraveling or unfolding method, a general proof technique for proving
result of parity games by induction on their complexity.

22
The categories of this paper are: chao-dyn
5
The categories of this paper are: gr-qc
25
The categories of this paper are: patt-sol
29
The categories of this paper are: funct-an
13
The categories of this paper are: quant-ph
23
The categories of this paper are: solv-int
36
The categories of this paper are: cmp-lg
19
The categories of this paper are: eess
8
The categories of this paper are: hep-ex
27
The categories of this paper are: comp-gas
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat