Title: Bounded game-theoretic semantics for modal mu-calculus,
Abstract: We introduce a new game-theoretic semantics (GTS) for the modal mu-calculus.
Our so-called bounded GTS replaces parity games with novel alternative
evaluation games where only finite paths arise. Infinite paths are not needed
even when the considered transition system is infinite.