Matches in SemOpenAlex for { <https://semopenalex.org/work/W2897045895> ?p ?o ?g. }
Showing items 1 to 93 of
93
with 100 items per page.
- W2897045895 abstract "We study the model-checking problem for recursion schemes: does the tree generated by a given higher-order recursion scheme satisfy a given logical sentence. The problem is known to be decidable for sentences of the MSO logic. We prove decidability for an extension of MSO in which we additionally have an unbounding quantifier U, saying that a subformula is true for arbitrarily large finite sets. This quantifier can be used only for subformulae in which all free variables represent finite sets (while an unrestricted use of the quantifier leads to undecidability). We also show that the logic has the properties of reflection and effective selection for trees generated by recursion schemes." @default.
- W2897045895 created "2018-10-26" @default.
- W2897045895 creator A5085631393 @default.
- W2897045895 date "2018-10-10" @default.
- W2897045895 modified "2023-10-14" @default.
- W2897045895 title "Recursion Schemes, the MSO Logic, and the U quantifier" @default.
- W2897045895 cites W10842229 @default.
- W2897045895 cites W1482190611 @default.
- W2897045895 cites W1511526676 @default.
- W2897045895 cites W1517238936 @default.
- W2897045895 cites W1549097197 @default.
- W2897045895 cites W1622981938 @default.
- W2897045895 cites W1646789098 @default.
- W2897045895 cites W1983186843 @default.
- W2897045895 cites W2007098021 @default.
- W2897045895 cites W2010137316 @default.
- W2897045895 cites W2036753951 @default.
- W2897045895 cites W2055765422 @default.
- W2897045895 cites W2057225506 @default.
- W2897045895 cites W2062792526 @default.
- W2897045895 cites W2071164478 @default.
- W2897045895 cites W2102644483 @default.
- W2897045895 cites W2103906933 @default.
- W2897045895 cites W2113283923 @default.
- W2897045895 cites W2120360673 @default.
- W2897045895 cites W2134918221 @default.
- W2897045895 cites W2138308600 @default.
- W2897045895 cites W2138316064 @default.
- W2897045895 cites W2142927307 @default.
- W2897045895 cites W2155036983 @default.
- W2897045895 cites W2160005349 @default.
- W2897045895 cites W2173684246 @default.
- W2897045895 cites W2249237842 @default.
- W2897045895 cites W2266924268 @default.
- W2897045895 cites W2290993782 @default.
- W2897045895 cites W2294925939 @default.
- W2897045895 cites W2346985033 @default.
- W2897045895 cites W2442545619 @default.
- W2897045895 cites W2791847152 @default.
- W2897045895 cites W2792967318 @default.
- W2897045895 cites W3142396199 @default.
- W2897045895 cites W3183609626 @default.
- W2897045895 doi "https://doi.org/10.23638/lmcs-16(1:20)2020" @default.
- W2897045895 hasPublicationYear "2018" @default.
- W2897045895 type Work @default.
- W2897045895 sameAs 2897045895 @default.
- W2897045895 citedByCount "0" @default.
- W2897045895 crossrefType "posted-content" @default.
- W2897045895 hasAuthorship W2897045895A5085631393 @default.
- W2897045895 hasBestOaLocation W28970458951 @default.
- W2897045895 hasConcept C113174947 @default.
- W2897045895 hasConcept C11413529 @default.
- W2897045895 hasConcept C114614502 @default.
- W2897045895 hasConcept C118615104 @default.
- W2897045895 hasConcept C153269930 @default.
- W2897045895 hasConcept C154945302 @default.
- W2897045895 hasConcept C168773036 @default.
- W2897045895 hasConcept C199360897 @default.
- W2897045895 hasConcept C2778029271 @default.
- W2897045895 hasConcept C2778523021 @default.
- W2897045895 hasConcept C32278780 @default.
- W2897045895 hasConcept C33923547 @default.
- W2897045895 hasConcept C41008148 @default.
- W2897045895 hasConceptScore W2897045895C113174947 @default.
- W2897045895 hasConceptScore W2897045895C11413529 @default.
- W2897045895 hasConceptScore W2897045895C114614502 @default.
- W2897045895 hasConceptScore W2897045895C118615104 @default.
- W2897045895 hasConceptScore W2897045895C153269930 @default.
- W2897045895 hasConceptScore W2897045895C154945302 @default.
- W2897045895 hasConceptScore W2897045895C168773036 @default.
- W2897045895 hasConceptScore W2897045895C199360897 @default.
- W2897045895 hasConceptScore W2897045895C2778029271 @default.
- W2897045895 hasConceptScore W2897045895C2778523021 @default.
- W2897045895 hasConceptScore W2897045895C32278780 @default.
- W2897045895 hasConceptScore W2897045895C33923547 @default.
- W2897045895 hasConceptScore W2897045895C41008148 @default.
- W2897045895 hasLocation W28970458951 @default.
- W2897045895 hasOpenAccess W2897045895 @default.
- W2897045895 hasPrimaryLocation W28970458951 @default.
- W2897045895 hasRelatedWork W1517238936 @default.
- W2897045895 hasRelatedWork W2007102962 @default.
- W2897045895 hasRelatedWork W2049924983 @default.
- W2897045895 hasRelatedWork W2897045895 @default.
- W2897045895 hasRelatedWork W3086629457 @default.
- W2897045895 hasRelatedWork W3097152137 @default.
- W2897045895 hasRelatedWork W3135280923 @default.
- W2897045895 hasRelatedWork W3154348966 @default.
- W2897045895 hasRelatedWork W4229857370 @default.
- W2897045895 hasRelatedWork W4311299684 @default.
- W2897045895 isParatext "false" @default.
- W2897045895 isRetracted "false" @default.
- W2897045895 magId "2897045895" @default.
- W2897045895 workType "article" @default.