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
- 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?)
- scientific article; zbMATH DE number 7455742 (Why is no real title available?)
- 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 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 Alternating-Time Temporal Logic
- Game-theoretic semantics for \(\mathrm{ATL}^+\) with applications to model checking
- Games for the \(\mu\)-calculus
- On closure ordinals for the modal \(\mu\)-calculus
- Permissive strategies: from parity games to safety games
- Results on the propositional \(\mu\)-calculus
- STACS 2004
- Some Turing-complete extensions of first-order logic
- Succinct progress measures for solving parity games
- The mu-calculus and Model Checking
Cited in
(5)- Bounded game-theoretic semantics for modal mu-calculus
- Innocent game models of untyped \(\lambda\)-calculus
- scientific article; zbMATH DE number 1342276 (Why is no real title available?)
- scientific article; zbMATH DE number 6694177 (Why is no real title available?)
- On the equivalence of game and denotational semantics for the probabilistic \(\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)
