FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2108138932> ?p ?o ?g. }

• W2108138932 abstract "As is already known from the work of D. Janin & I. Walukiewicz (1996), the mu-calculus is as expressive as the bisimulation-invariant fragment of monadic second-order logic. In this paper, we relate the expressiveness of levels of the fixpoint alternation depth hierarchy of the mu-calculus (the mu-calculus hierarchy) with the expressiveness of the bisimulation-invariant fragment of levels of the monadic quantifiers alternation-depth hierarchy (the monadic hierarchy). From J. van Benthem's (1976) results, we know already that the fixpoint free fragment of the mu-calculus (i.e. polymodal logic) is as expressive as the bisimulation-invariant fragment of monadic /spl Sigma//sub 0/ (i.e. first-order logic). We show that the /spl nu/-level of the mu-calculus hierarchy is as expressive as the bisimulation-invariant fragment of monadic /spl Sigma//sub 1/ and that the /spl nu//spl mu/-level of the mu-calculus hierarchy is as expressive as the bisimulation-invariant fragment of monadic /spl Sigma//sub 2/, and we show that no other level /spl Sigma//sub k/ (for k>2) of the monadic hierarchy can be related similarly with any other level of the mu-calculus hierarchy. The possible inclusion of all the mu-calculus in some level /spl Sigma//sub k/ of the monadic hierarchy, for some k>2, is also discussed." @default.
• W2108138932 created "2016-06-24" @default.
• W2108138932 creator A5031905327 @default.
• W2108138932 creator A5041128243 @default.
• W2108138932 date "2002-11-13" @default.
• W2108138932 modified "2023-09-27" @default.
• W2108138932 title "Relating levels of the mu-calculus hierarchy and levels of the monadic hierarchy" @default.
• W2108138932 cites W1482768571 @default.
• W2108138932 cites W1504333451 @default.
• W2108138932 cites W1505081061 @default.
• W2108138932 cites W1539385324 @default.
• W2108138932 cites W1612453857 @default.
• W2108138932 cites W1755189310 @default.
• W2108138932 cites W1778829768 @default.
• W2108138932 cites W1981996395 @default.
• W2108138932 cites W1992595180 @default.
• W2108138932 cites W2015640848 @default.
• W2108138932 cites W2023552332 @default.
• W2108138932 cites W2035844623 @default.
• W2108138932 cites W2036648964 @default.
• W2108138932 cites W2067464091 @default.
• W2108138932 cites W2073837347 @default.
• W2108138932 cites W2076284895 @default.
• W2108138932 cites W2083398633 @default.
• W2108138932 cites W2116013377 @default.
• W2108138932 cites W2126399192 @default.
• W2108138932 cites W2142133061 @default.
• W2108138932 cites W2142413595 @default.
• W2108138932 cites W2151686102 @default.
• W2108138932 cites W2162583406 @default.
• W2108138932 cites W2168498451 @default.
• W2108138932 cites W2977904728 @default.
• W2108138932 cites W3127113455 @default.
• W2108138932 cites W600442655 @default.
• W2108138932 cites W2138716118 @default.
• W2108138932 doi "https://doi.org/10.1109/lics.2001.932510" @default.
• W2108138932 hasPublicationYear "2002" @default.
• W2108138932 type Work @default.
• W2108138932 sameAs 2108138932 @default.
• W2108138932 citedByCount "11" @default.
• W2108138932 countsByYear W21081389322013 @default.
• W2108138932 countsByYear W21081389322017 @default.
• W2108138932 countsByYear W21081389322023 @default.
• W2108138932 crossrefType "proceedings-article" @default.
• W2108138932 hasAuthorship W2108138932A5031905327 @default.
• W2108138932 hasAuthorship W2108138932A5041128243 @default.
• W2108138932 hasConcept C102993220 @default.
• W2108138932 hasConcept C11413529 @default.
• W2108138932 hasConcept C114614502 @default.
• W2108138932 hasConcept C118615104 @default.
• W2108138932 hasConcept C121332964 @default.
• W2108138932 hasConcept C124656256 @default.
• W2108138932 hasConcept C135315306 @default.
• W2108138932 hasConcept C138885662 @default.
• W2108138932 hasConcept C162324750 @default.
• W2108138932 hasConcept C169896238 @default.
• W2108138932 hasConcept C176053320 @default.
• W2108138932 hasConcept C190470478 @default.
• W2108138932 hasConcept C199343813 @default.
• W2108138932 hasConcept C26826806 @default.
• W2108138932 hasConcept C2776235265 @default.
• W2108138932 hasConcept C2777686260 @default.
• W2108138932 hasConcept C2778049214 @default.
• W2108138932 hasConcept C31170391 @default.
• W2108138932 hasConcept C33923547 @default.
• W2108138932 hasConcept C34447519 @default.
• W2108138932 hasConcept C37914503 @default.
• W2108138932 hasConcept C41008148 @default.
• W2108138932 hasConcept C41895202 @default.
• W2108138932 hasConcept C42475967 @default.
• W2108138932 hasConcept C62520636 @default.
• W2108138932 hasConcept C71924100 @default.
• W2108138932 hasConcept C80444323 @default.
• W2108138932 hasConcept C87345402 @default.
• W2108138932 hasConceptScore W2108138932C102993220 @default.
• W2108138932 hasConceptScore W2108138932C11413529 @default.
• W2108138932 hasConceptScore W2108138932C114614502 @default.
• W2108138932 hasConceptScore W2108138932C118615104 @default.
• W2108138932 hasConceptScore W2108138932C121332964 @default.
• W2108138932 hasConceptScore W2108138932C124656256 @default.
• W2108138932 hasConceptScore W2108138932C135315306 @default.
• W2108138932 hasConceptScore W2108138932C138885662 @default.
• W2108138932 hasConceptScore W2108138932C162324750 @default.
• W2108138932 hasConceptScore W2108138932C169896238 @default.
• W2108138932 hasConceptScore W2108138932C176053320 @default.
• W2108138932 hasConceptScore W2108138932C190470478 @default.
• W2108138932 hasConceptScore W2108138932C199343813 @default.
• W2108138932 hasConceptScore W2108138932C26826806 @default.
• W2108138932 hasConceptScore W2108138932C2776235265 @default.
• W2108138932 hasConceptScore W2108138932C2777686260 @default.
• W2108138932 hasConceptScore W2108138932C2778049214 @default.
• W2108138932 hasConceptScore W2108138932C31170391 @default.
• W2108138932 hasConceptScore W2108138932C33923547 @default.
• W2108138932 hasConceptScore W2108138932C34447519 @default.
• W2108138932 hasConceptScore W2108138932C37914503 @default.
• W2108138932 hasConceptScore W2108138932C41008148 @default.
• W2108138932 hasConceptScore W2108138932C41895202 @default.
• W2108138932 hasConceptScore W2108138932C42475967 @default.
• W2108138932 hasConceptScore W2108138932C62520636 @default.
• W2108138932 hasConceptScore W2108138932C71924100 @default.

• next