Ambiguous classes in \(\mu\)-calculi hierarchies
type: Item
instance of: scholarly article
title: Ambiguous classes in \(\mu\)-calculi hierarchies
zbMATH Open document ID: 1070.68077
author: Luigi Santocanale
author: André Arnold
published in: Theoretical Computer Science
publication date: 2005-04-06T00:00:00Z
Mathematics Subject Classification ID: 68Q45
Mathematics Subject Classification ID: 68Q15
Mathematics Subject Classification ID: 03D05
Mathematics Subject Classification ID: 03D15
Mathematics Subject Classification ID: 68Q60
Mathematics Subject Classification ID: 03B45
zbMATH DE Number: 2153212
zbMATH Keywords: Rabin states
MaRDI profile type: Publication
full work available at URL: j.tcs.2004.10.024
OpenAlex ID: W2074210660
cites work: Theμ-calculus alternation-depth hierarchy is strict on binary trees
cites work: Q4273664
cites work: Rudiments of \(\mu\)-calculus
cites work: Games for synthesis of controllers with partial observation.
cites work: A game semantics for linear logic
cites work: Q5287508
cites work: The modal mu-calculus alternation hierarchy is strict
cites work: Logical questions concerning the μ-calculus: Interpolation, Lyndon and Łoś-Tarski
cites work: On model checking for the \(\mu\)-calculus and its fragments
cites work: Q4834373
cites work: Many-dimensional modal logics: theory and applications
cites work: Automata for the modal μ-calculus and related results
cites work: Q4395610
cites work: On modal mu-calculus and Büchi tree automata
cites work: Q4323294
cites work: Results on the propositional \(\mu\)-calculus
cites work: Q4251063
cites work: Q4449213
cites work: Q4818826
cites work: Q3753490
cites work: FINITE STATE PROCESSES, Z-TEMPORAL LOGIC AND THE MONADIC THEORY OF THE INTEGERS
cites work: Q3730012
cites work: Fixed point characterization of infinite behavior of finite-state systems
cites work: Games for the \(\mu\)-calculus
cites work: Q4381391
cites work: Q5616162
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: An automata theoretic decision procedure for the propositional mu- calculus
cites work: Proof theory
cites work: Q4714446
cites work: Q4158997
DOI: 10.1016/J.TCS.2004.10.024
description: scientific article; zbMATH DE number 2153212