Bounded game-theoretic semantics for modal mu-calculus
From MaRDI portal
Publication:2105468
Recommendations
- Bounded game-theoretic semantics for modal mu-calculus and some variants
- Game-Theoretic Semantics for Alternating-Time Temporal Logic
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
- Model checking games for the quantitative \(\mu \)-calculus
- Model checking games for the quantitative \(\mu\)-calculus
Cites work
- Alternating-time temporal logic ATL with finitely bounded semantics
- An automata theoretic decision procedure for the propositional mu- calculus
- Asynchronous distributed automata: a characterization of the modal \(\mu\)-fragment
- Bounded game-theoretic semantics for modal mu-calculus and some variants
- Bounded semantics
- CTL with finitely bounded semantics
- Deciding parity games in quasipolynomial time
- First-cycle games
- Formula size games for modal logic and \(\mu\)-calculus
- From Liveness to Promptness
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
- Game-Theoretic Semantics for Alternating-Time Temporal Logic
- Games for the -calculus
- scientific article; zbMATH DE number 1799521 (Why is no real title available?)
- scientific article; zbMATH DE number 3887063 (Why is no real title available?)
- scientific article; zbMATH DE number 1254648 (Why is no real title available?)
- scientific article; zbMATH DE number 1500523 (Why is no real title available?)
- On closure ordinals for the modal -calculus
- Permissive strategies: from parity games to safety games
- Results on the propositional \(\mu\)-calculus
- Some Turing-complete extensions of first-order logic
- STACS 2004
- Succinct progress measures for solving parity games
- The mu-calculus and Model Checking
Cited in
(6)- On the equivalence of game and denotational semantics for the probabilistic -calculus
- scientific article; zbMATH DE number 6694177 (Why is no real title available?)
- scientific article; zbMATH DE number 1342276 (Why is no real title available?)
- Bounded game-theoretic semantics for modal mu-calculus and some variants
- Innocent game models of untyped -calculus
- Bounded game-theoretic semantics for modal mu-calculus
This page was built for publication: Bounded game-theoretic semantics for modal mu-calculus
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2105468)
