FRINK Linked Data Fragments server

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

• W2184508846 abstract "In this thesis we study the expressive power of variants of monadic second-order logic (MSO) on infinite trees by means of automata. In particular we are interested in weak MSO and well-founded MSO, where the second-order quantifiers range respectively over finite sets and over subsets of well-founded trees. On finitely branching trees, weak and well-founded MSO have the same expressive power and are both strictly weaker than MSO. The associated class of automata (called weak MSO-automata) is a restriction of the class characterizing MSO-expressivity. We show that, on trees with arbitrary branching degree, weak MSO-automata characterize the expressive power of well-founded MSO, which turns out to be incomparable with weak MSO. Indeed, in this generalized setting, weak MSO gives an account of properties of the ‘horizontal dimension’ of trees, which cannot be described by means of MSO or well-founded MSO formulae. In analogy with the result of Janin and Walukiewicz for MSO and the modal μ-calculus, this raises the issue of which modal logic captures the bisimulation-invariant fragment of well-founded MSO and weak MSO. We show that the alternation-free fragment of the modal μ-calculus and the bisimulation-invariant fragment of well-founded MSO have the same expressive power on trees of arbitrary branching degree. We motivate the conjecture that weak MSO modulo bisimulation collapses inside MSO and well-founded MSO." @default.
• W2184508846 created "2016-06-24" @default.
• W2184508846 creator A5007089889 @default.
• W2184508846 creator A5034206752 @default.
• W2184508846 creator A5065186485 @default.
• W2184508846 creator A5067227020 @default.
• W2184508846 creator A5068240928 @default.
• W2184508846 creator A5083214023 @default.
• W2184508846 date "2012-01-01" @default.
• W2184508846 modified "2023-09-23" @default.
• W2184508846 title "Expressiveness of Monadic Second-Order Logics on Infinite Trees of Arbitrary Branching Degree" @default.
• W2184508846 cites W1482244486 @default.
• W2184508846 cites W1504333451 @default.
• W2184508846 cites W1539385324 @default.
• W2184508846 cites W1564580204 @default.
• W2184508846 cites W1576702572 @default.
• W2184508846 cites W1605190994 @default.
• W2184508846 cites W1612453857 @default.
• W2184508846 cites W1656302973 @default.
• W2184508846 cites W1865051709 @default.
• W2184508846 cites W189731062 @default.
• W2184508846 cites W1965611063 @default.
• W2184508846 cites W1987973300 @default.
• W2184508846 cites W1988808695 @default.
• W2184508846 cites W1992595180 @default.
• W2184508846 cites W1993752242 @default.
• W2184508846 cites W2009275991 @default.
• W2184508846 cites W2023808162 @default.
• W2184508846 cites W2059045337 @default.
• W2184508846 cites W2087756506 @default.
• W2184508846 cites W2093397547 @default.
• W2184508846 cites W2113800199 @default.
• W2184508846 cites W2120360673 @default.
• W2184508846 cites W2168498451 @default.
• W2184508846 cites W2610670723 @default.
• W2184508846 cites W413732422 @default.
• W2184508846 cites W53168734 @default.
• W2184508846 cites W129686139 @default.
• W2184508846 cites W2182424838 @default.
• W2184508846 hasPublicationYear "2012" @default.
• W2184508846 type Work @default.
• W2184508846 sameAs 2184508846 @default.
• W2184508846 citedByCount "2" @default.
• W2184508846 countsByYear W21845088462015 @default.
• W2184508846 countsByYear W21845088462018 @default.
• W2184508846 crossrefType "journal-article" @default.
• W2184508846 hasAuthorship W2184508846A5007089889 @default.
• W2184508846 hasAuthorship W2184508846A5034206752 @default.
• W2184508846 hasAuthorship W2184508846A5065186485 @default.
• W2184508846 hasAuthorship W2184508846A5067227020 @default.
• W2184508846 hasAuthorship W2184508846A5068240928 @default.
• W2184508846 hasAuthorship W2184508846A5083214023 @default.
• W2184508846 hasConcept C112505250 @default.
• W2184508846 hasConcept C114614502 @default.
• W2184508846 hasConcept C118615104 @default.
• W2184508846 hasConcept C135315306 @default.
• W2184508846 hasConcept C154945302 @default.
• W2184508846 hasConcept C159985019 @default.
• W2184508846 hasConcept C176181172 @default.
• W2184508846 hasConcept C190470478 @default.
• W2184508846 hasConcept C192562407 @default.
• W2184508846 hasConcept C206175624 @default.
• W2184508846 hasConcept C33923547 @default.
• W2184508846 hasConcept C37914503 @default.
• W2184508846 hasConcept C41008148 @default.
• W2184508846 hasConcept C54732982 @default.
• W2184508846 hasConceptScore W2184508846C112505250 @default.
• W2184508846 hasConceptScore W2184508846C114614502 @default.
• W2184508846 hasConceptScore W2184508846C118615104 @default.
• W2184508846 hasConceptScore W2184508846C135315306 @default.
• W2184508846 hasConceptScore W2184508846C154945302 @default.
• W2184508846 hasConceptScore W2184508846C159985019 @default.
• W2184508846 hasConceptScore W2184508846C176181172 @default.
• W2184508846 hasConceptScore W2184508846C190470478 @default.
• W2184508846 hasConceptScore W2184508846C192562407 @default.
• W2184508846 hasConceptScore W2184508846C206175624 @default.
• W2184508846 hasConceptScore W2184508846C33923547 @default.
• W2184508846 hasConceptScore W2184508846C37914503 @default.
• W2184508846 hasConceptScore W2184508846C41008148 @default.
• W2184508846 hasConceptScore W2184508846C54732982 @default.
• W2184508846 hasLocation W21845088461 @default.
• W2184508846 hasOpenAccess W2184508846 @default.
• W2184508846 hasPrimaryLocation W21845088461 @default.
• W2184508846 hasRelatedWork W145105541 @default.
• W2184508846 hasRelatedWork W1482902840 @default.
• W2184508846 hasRelatedWork W1493991352 @default.
• W2184508846 hasRelatedWork W1546920987 @default.
• W2184508846 hasRelatedWork W1989945465 @default.
• W2184508846 hasRelatedWork W2029611280 @default.
• W2184508846 hasRelatedWork W2087756506 @default.
• W2184508846 hasRelatedWork W2113800199 @default.
• W2184508846 hasRelatedWork W2295148073 @default.
• W2184508846 hasRelatedWork W2475308370 @default.
• W2184508846 hasRelatedWork W2497988367 @default.
• W2184508846 hasRelatedWork W2538671723 @default.
• W2184508846 hasRelatedWork W2576812242 @default.
• W2184508846 hasRelatedWork W2914361286 @default.
• W2184508846 hasRelatedWork W2921996777 @default.
• W2184508846 hasRelatedWork W2951431800 @default.
• W2184508846 hasRelatedWork W2963351616 @default.

• next