The variable hierarchy for the games \(\mu \)-calculus
type: Item
instance of: scholarly article
title: The variable hierarchy for the games \(\mu \)-calculus
zbMATH Open document ID: 1225.03028
author: Walid Belkhir
author: Luigi Santocanale
published in: Annals of Pure and Applied Logic
publication date: 2011-08-26T00:00:00Z
Mathematics Subject Classification ID: 03B70
Mathematics Subject Classification ID: 03B45
Mathematics Subject Classification ID: 91A80
zbMATH DE Number: 5943614
zbMATH Keywords: \(\mu \)-lattices
zbMATH Keywords: complete lattices
zbMATH Keywords: parity games
zbMATH Keywords: \(\mu \)-calculi
MaRDI profile type: Publication
full work available at URL: j.apal.2009.07.015
OpenAlex ID: W2049417475
cites work: Games and full completeness for multiplicative linear logic
cites work: Rudiments of \(\mu\)-calculus
cites work: Q4417852
cites work: Undirected Graphs of Entanglement 2
cites work: Game logic is strong enough for parity games
cites work: Logic for Programming, Artificial Intelligence, and Reasoning
cites work: Q4411834
cites work: STACS 2005
cites work: Degrees of indeterminacy of games
cites work: A game semantics for linear logic
cites work: Matrix and matricial iteration theories. I
cites work: The solutions of two star-height problems for regular trees
cites work: Finite sum-product logic
cites work: Q4834373
cites work: Automata for the modal μ-calculus and related results
cites work: Q4876241
cites work: Q4395610
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q4010366
cites work: Game logic -- an overview
cites work: The alternation hierarchy for the theory of \(\mu\)-lattices
cites work: Q4738237
cites work: Free \(\mu\)-lattices
cites work: μ-Bicomplete Categories and Parity Games
cites work: Ambiguous classes in \(\mu\)-calculi hierarchies
cites work: A lattice-theoretical fixpoint theorem and its applications
DOI: 10.1016/J.APAL.2009.07.015
Recommended article: Q4411813
Recommended article: Q4417852
Recommended article: Games for the \(\mu\)-calculus
Recommended article: \(\mu\)-\(\sigma\) games
Recommended article: On the equivalence of game and denotational semantics for the probabilistic \(\mu\)-calculus
Recommended article: Representing von Neumann-Morgenstern games in the situation calculus
Recommended article: Q5021004
Recommended article: Games, equations and the dot-depth hierarchy
Recommended article: FORMALIZATION OF MULTI-LEVEL GAMES
Recommended article: The Variable Hierarchy for the Lattice μ-Calculus
description: scientific article; zbMATH DE number 5943614