Matches in SemOpenAlex for { <https://semopenalex.org/work/W2104094711> ?p ?o ?g. }
Showing items 1 to 85 of
85
with 100 items per page.
- W2104094711 abstract "We characterize the expressive power of the modal mu-calculus on monotone neighborhood structures, in the style of the Janin-Walukiewicz theorem for the standard modal mu-calculus. For this purpose we consider a monadic second-order logic for monotone neighborhood structures. Our main result shows that the monotone modal mu-calculus corresponds exactly to the fragment of this second-order language that is invariant for neighborhood bisimulations." @default.
- W2104094711 created "2016-06-24" @default.
- W2104094711 creator A5013603471 @default.
- W2104094711 creator A5042482750 @default.
- W2104094711 creator A5068240928 @default.
- W2104094711 date "2015-02-27" @default.
- W2104094711 modified "2023-09-25" @default.
- W2104094711 title "Expressiveness of the modal mu-calculus on monotone neighborhood structures" @default.
- W2104094711 cites W1576702572 @default.
- W2104094711 cites W2015640848 @default.
- W2104094711 cites W2113800199 @default.
- W2104094711 cites W2159650054 @default.
- W2104094711 cites W2244349542 @default.
- W2104094711 cites W2402892473 @default.
- W2104094711 cites W129686139 @default.
- W2104094711 cites W289783505 @default.
- W2104094711 hasPublicationYear "2015" @default.
- W2104094711 type Work @default.
- W2104094711 sameAs 2104094711 @default.
- W2104094711 citedByCount "0" @default.
- W2104094711 crossrefType "posted-content" @default.
- W2104094711 hasAuthorship W2104094711A5013603471 @default.
- W2104094711 hasAuthorship W2104094711A5042482750 @default.
- W2104094711 hasAuthorship W2104094711A5068240928 @default.
- W2104094711 hasConcept C118615104 @default.
- W2104094711 hasConcept C185592680 @default.
- W2104094711 hasConcept C188027245 @default.
- W2104094711 hasConcept C190470478 @default.
- W2104094711 hasConcept C195818886 @default.
- W2104094711 hasConcept C199343813 @default.
- W2104094711 hasConcept C202444582 @default.
- W2104094711 hasConcept C2524010 @default.
- W2104094711 hasConcept C27508121 @default.
- W2104094711 hasConcept C2777686260 @default.
- W2104094711 hasConcept C2834757 @default.
- W2104094711 hasConcept C33923547 @default.
- W2104094711 hasConcept C37914503 @default.
- W2104094711 hasConcept C41008148 @default.
- W2104094711 hasConcept C71139939 @default.
- W2104094711 hasConcept C71924100 @default.
- W2104094711 hasConcept C80444323 @default.
- W2104094711 hasConceptScore W2104094711C118615104 @default.
- W2104094711 hasConceptScore W2104094711C185592680 @default.
- W2104094711 hasConceptScore W2104094711C188027245 @default.
- W2104094711 hasConceptScore W2104094711C190470478 @default.
- W2104094711 hasConceptScore W2104094711C195818886 @default.
- W2104094711 hasConceptScore W2104094711C199343813 @default.
- W2104094711 hasConceptScore W2104094711C202444582 @default.
- W2104094711 hasConceptScore W2104094711C2524010 @default.
- W2104094711 hasConceptScore W2104094711C27508121 @default.
- W2104094711 hasConceptScore W2104094711C2777686260 @default.
- W2104094711 hasConceptScore W2104094711C2834757 @default.
- W2104094711 hasConceptScore W2104094711C33923547 @default.
- W2104094711 hasConceptScore W2104094711C37914503 @default.
- W2104094711 hasConceptScore W2104094711C41008148 @default.
- W2104094711 hasConceptScore W2104094711C71139939 @default.
- W2104094711 hasConceptScore W2104094711C71924100 @default.
- W2104094711 hasConceptScore W2104094711C80444323 @default.
- W2104094711 hasLocation W21040947111 @default.
- W2104094711 hasOpenAccess W2104094711 @default.
- W2104094711 hasPrimaryLocation W21040947111 @default.
- W2104094711 hasRelatedWork W1517695114 @default.
- W2104094711 hasRelatedWork W1606933801 @default.
- W2104094711 hasRelatedWork W1984739310 @default.
- W2104094711 hasRelatedWork W1989945465 @default.
- W2104094711 hasRelatedWork W2096500204 @default.
- W2104094711 hasRelatedWork W2116809109 @default.
- W2104094711 hasRelatedWork W2124207901 @default.
- W2104094711 hasRelatedWork W2138793937 @default.
- W2104094711 hasRelatedWork W2159650054 @default.
- W2104094711 hasRelatedWork W2216181672 @default.
- W2104094711 hasRelatedWork W2224844044 @default.
- W2104094711 hasRelatedWork W2295030425 @default.
- W2104094711 hasRelatedWork W2521026389 @default.
- W2104094711 hasRelatedWork W2572267834 @default.
- W2104094711 hasRelatedWork W2747215736 @default.
- W2104094711 hasRelatedWork W2952776259 @default.
- W2104094711 hasRelatedWork W2999779760 @default.
- W2104094711 hasRelatedWork W3037666245 @default.
- W2104094711 hasRelatedWork W3152955605 @default.
- W2104094711 hasRelatedWork W3193490193 @default.
- W2104094711 isParatext "false" @default.
- W2104094711 isRetracted "false" @default.
- W2104094711 magId "2104094711" @default.
- W2104094711 workType "article" @default.