scientific article; zbMATH DE number 1954388

MaRDI QIDQ4415259zbMATH OpenFDO

Authors Ralf Küsters, Thomas Wilke

Publication date 28 July 2003

Full work available at URL http://link.springer.de/link/service/series/0558/bibs/2556/25560241.htm

Mathematics Subject Classification ID

Decidability of theories and sets of sentences (03B25) Modal logic (including the logic of norms) (03B45) Logic in computer science (03B70) Automata and formal grammars in connection with logical questions (03D05)

Recommendations

• Deciding the first levels of the modal alternation hierarchy by formula construction
• scientific article; zbMATH DE number 1136070
• Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
• The modal mu-calculus alternation hierarchy is strict
• The modal mu-calculus alternation hierarchy is strict
• A decision procedure for alternation-free modal -calculi
• scientific article; zbMATH DE number 1696780
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
• The \(\mu\)-calculus alternation hierarchy collapses over structures with restricted connectivity
• scientific article; zbMATH DE number 3898850

Cited in

(10)

• \(\varSigma^{\mu}_2\) is decidable for \(\varPi^{\mu}_2\)
• Mu-depth 3 is more than 2: A game-theoretic proof
• The descriptive complexity of modal model-checking games
• Describing the Wadge Hierarchy for the Alternation Free Fragment of μ-Calculus (I)
• scientific article; zbMATH DE number 1304338 (Why is no real title available?)
• Regular tree languages in low levels of the Wadge hierarchy
• Index problems for game automata
• Deciding the first levels of the modal alternation hierarchy by formula construction
• The Variable Hierarchy for the Lattice μ-Calculus
• Deterministic and game separability for regular languages of infinite trees

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4415259)