Matches in SemOpenAlex for { <https://semopenalex.org/work/W2074210660> ?p ?o ?g. }
Showing items 1 to 99 of
99
with 100 items per page.
- W2074210660 endingPage "296" @default.
- W2074210660 startingPage "265" @default.
- W2074210660 abstract "A classical result by Rabin states that if a set of trees and its complement are both Büchi definable in the monadic second order logic, then these sets are weakly definable. In the language of μ-calculi, this theorem asserts the equality between the complexity classes Σ2∩Π2 and Comp(Σ1,Π1) of the fixed-point alternation-depth hierarchy of the μ-calculus of tree languages. It is natural to ask whether at higher levels of the hierarchy the ambiguous classes Σn+1∩Πn+1 and the composition classes Comp(Σn,Πn) are equal, and for which μ-calculi. The first result of this paper is that the alternation-depth hierarchy of the games μ-calculus—whose canonical interpretation is the class of all complete lattices—enjoys this property. More explicitly, every parity game which is equivalent both to a game in Σn+1 and to a game in Πn+1 is also equivalent to a game obtained by composing games in Σn and Πn. The second result is that the alternation-depth hierarchy of the μ-calculus of tree languages does not enjoy the property. Taking into account that any Büchi definable set is recognized by a nondeterministic Büchi automaton, we generalize Rabin's result in terms of the following separation theorem: if two disjoint languages are recognized by nondeterministic Πn+1 automata, then there exists a third language recognized by an alternating automaton in Comp(Σn,Πn) containing one and disjoint from the other. Finally, we lift the results obtained for the μ-calculus of tree languages to the propositional modal μ-calculus: ambiguous classes do not coincide with composition classes, but a separation theorem is established for disjunctive formulas." @default.
- W2074210660 created "2016-06-24" @default.
- W2074210660 creator A5038604784 @default.
- W2074210660 creator A5049300785 @default.
- W2074210660 date "2005-03-01" @default.
- W2074210660 modified "2023-09-23" @default.
- W2074210660 title "Ambiguous classes in <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML altimg=si1.gif overflow=scroll><mml:mi>μ</mml:mi></mml:math>-calculi hierarchies" @default.
- W2074210660 cites W128775780 @default.
- W2074210660 cites W135426567 @default.
- W2074210660 cites W1481169643 @default.
- W2074210660 cites W1482768571 @default.
- W2074210660 cites W151008459 @default.
- W2074210660 cites W1539382740 @default.
- W2074210660 cites W1539385324 @default.
- W2074210660 cites W1556705528 @default.
- W2074210660 cites W1598153029 @default.
- W2074210660 cites W1783056602 @default.
- W2074210660 cites W1881786745 @default.
- W2074210660 cites W1974206804 @default.
- W2074210660 cites W1996605832 @default.
- W2074210660 cites W2015640848 @default.
- W2074210660 cites W2026224392 @default.
- W2074210660 cites W2054099039 @default.
- W2074210660 cites W2057072590 @default.
- W2074210660 cites W2065408915 @default.
- W2074210660 cites W2083398633 @default.
- W2074210660 cites W2087756506 @default.
- W2074210660 cites W2093399617 @default.
- W2074210660 cites W2126399192 @default.
- W2074210660 cites W2168498451 @default.
- W2074210660 cites W2467982476 @default.
- W2074210660 cites W2593993296 @default.
- W2074210660 cites W4246659307 @default.
- W2074210660 doi "https://doi.org/10.1016/j.tcs.2004.10.024" @default.
- W2074210660 hasPublicationYear "2005" @default.
- W2074210660 type Work @default.
- W2074210660 sameAs 2074210660 @default.
- W2074210660 citedByCount "17" @default.
- W2074210660 countsByYear W20742106602013 @default.
- W2074210660 countsByYear W20742106602014 @default.
- W2074210660 countsByYear W20742106602016 @default.
- W2074210660 countsByYear W20742106602018 @default.
- W2074210660 countsByYear W20742106602020 @default.
- W2074210660 crossrefType "journal-article" @default.
- W2074210660 hasAuthorship W2074210660A5038604784 @default.
- W2074210660 hasAuthorship W2074210660A5049300785 @default.
- W2074210660 hasConcept C112505250 @default.
- W2074210660 hasConcept C114614502 @default.
- W2074210660 hasConcept C118615104 @default.
- W2074210660 hasConcept C138885662 @default.
- W2074210660 hasConcept C154945302 @default.
- W2074210660 hasConcept C162324750 @default.
- W2074210660 hasConcept C176181172 @default.
- W2074210660 hasConcept C26826806 @default.
- W2074210660 hasConcept C2778583254 @default.
- W2074210660 hasConcept C31170391 @default.
- W2074210660 hasConcept C33923547 @default.
- W2074210660 hasConcept C34447519 @default.
- W2074210660 hasConcept C41008148 @default.
- W2074210660 hasConcept C41895202 @default.
- W2074210660 hasConcept C45340560 @default.
- W2074210660 hasConceptScore W2074210660C112505250 @default.
- W2074210660 hasConceptScore W2074210660C114614502 @default.
- W2074210660 hasConceptScore W2074210660C118615104 @default.
- W2074210660 hasConceptScore W2074210660C138885662 @default.
- W2074210660 hasConceptScore W2074210660C154945302 @default.
- W2074210660 hasConceptScore W2074210660C162324750 @default.
- W2074210660 hasConceptScore W2074210660C176181172 @default.
- W2074210660 hasConceptScore W2074210660C26826806 @default.
- W2074210660 hasConceptScore W2074210660C2778583254 @default.
- W2074210660 hasConceptScore W2074210660C31170391 @default.
- W2074210660 hasConceptScore W2074210660C33923547 @default.
- W2074210660 hasConceptScore W2074210660C34447519 @default.
- W2074210660 hasConceptScore W2074210660C41008148 @default.
- W2074210660 hasConceptScore W2074210660C41895202 @default.
- W2074210660 hasConceptScore W2074210660C45340560 @default.
- W2074210660 hasIssue "1-2" @default.
- W2074210660 hasLocation W20742106601 @default.
- W2074210660 hasLocation W20742106602 @default.
- W2074210660 hasLocation W20742106603 @default.
- W2074210660 hasOpenAccess W2074210660 @default.
- W2074210660 hasPrimaryLocation W20742106601 @default.
- W2074210660 hasRelatedWork W1491652234 @default.
- W2074210660 hasRelatedWork W1566206239 @default.
- W2074210660 hasRelatedWork W1581776370 @default.
- W2074210660 hasRelatedWork W1996110613 @default.
- W2074210660 hasRelatedWork W2133215691 @default.
- W2074210660 hasRelatedWork W2152478214 @default.
- W2074210660 hasRelatedWork W2963699585 @default.
- W2074210660 hasRelatedWork W4242895217 @default.
- W2074210660 hasRelatedWork W4296603995 @default.
- W2074210660 hasRelatedWork W2791248057 @default.
- W2074210660 hasVolume "333" @default.
- W2074210660 isParatext "false" @default.
- W2074210660 isRetracted "false" @default.
- W2074210660 magId "2074210660" @default.
- W2074210660 workType "article" @default.
