Matches in SemOpenAlex for { <https://semopenalex.org/work/W2026656876> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2026656876 endingPage "54" @default.
- W2026656876 startingPage "41" @default.
- W2026656876 abstract "Model theoretic syntax is concerned with studying the descriptive complexity of grammar formalisms for natural languages by defining their derivation trees in suitable logical formalisms. The central tool for model theoretic syntax has been monadic second-order logic (MSO). Much of the recent research in this area has been concerned with finding more expressive logics to capture the derivation trees of grammar formalisms that generate non-context-free languages. The motivation behind this search for more expressive logics is to describe formally certain mildly context-sensitive phenomena of natural languages. Several extensions to MSO have been proposed, most of which no longer define the derivation trees of grammar formalisms directly, while others introduce logically odd restrictions. We therefore propose to consider first-order transitive closure logic. In this logic, derivation trees can be defined in a direct way. Our main result is that transitive closure logic, even deterministic transitive closure logic, is more expressive in defining classes of tree languages than MSO. (Deterministic) transitive closure logics are capable of defining non-regular tree languages that are of interest to linguistics." @default.
- W2026656876 created "2016-06-24" @default.
- W2026656876 creator A5040246991 @default.
- W2026656876 creator A5046201894 @default.
- W2026656876 date "2009-02-24" @default.
- W2026656876 modified "2023-09-27" @default.
- W2026656876 title "Monadic Second-Order Logic and Transitive Closure Logics Over Trees" @default.
- W2026656876 cites W1480937362 @default.
- W2026656876 cites W1522193308 @default.
- W2026656876 cites W1527664624 @default.
- W2026656876 cites W1570445666 @default.
- W2026656876 cites W1601591222 @default.
- W2026656876 cites W1987971864 @default.
- W2026656876 cites W1995502606 @default.
- W2026656876 cites W2003895694 @default.
- W2026656876 cites W2038925304 @default.
- W2026656876 cites W2091276604 @default.
- W2026656876 cites W2112430897 @default.
- W2026656876 cites W2164548001 @default.
- W2026656876 cites W4236682217 @default.
- W2026656876 cites W4236835455 @default.
- W2026656876 cites W4237168914 @default.
- W2026656876 doi "https://doi.org/10.1007/s11168-009-9060-3" @default.
- W2026656876 hasPublicationYear "2009" @default.
- W2026656876 type Work @default.
- W2026656876 sameAs 2026656876 @default.
- W2026656876 citedByCount "2" @default.
- W2026656876 countsByYear W20266568762015 @default.
- W2026656876 crossrefType "journal-article" @default.
- W2026656876 hasAuthorship W2026656876A5040246991 @default.
- W2026656876 hasAuthorship W2026656876A5046201894 @default.
- W2026656876 hasBestOaLocation W20266568762 @default.
- W2026656876 hasConcept C100481476 @default.
- W2026656876 hasConcept C102993220 @default.
- W2026656876 hasConcept C11413529 @default.
- W2026656876 hasConcept C114614502 @default.
- W2026656876 hasConcept C118615104 @default.
- W2026656876 hasConcept C124656256 @default.
- W2026656876 hasConcept C128896722 @default.
- W2026656876 hasConcept C133142742 @default.
- W2026656876 hasConcept C146072743 @default.
- W2026656876 hasConcept C146834321 @default.
- W2026656876 hasConcept C154945302 @default.
- W2026656876 hasConcept C162324750 @default.
- W2026656876 hasConcept C169896238 @default.
- W2026656876 hasConcept C171018156 @default.
- W2026656876 hasConcept C179799912 @default.
- W2026656876 hasConcept C191399111 @default.
- W2026656876 hasConcept C199360897 @default.
- W2026656876 hasConcept C2524010 @default.
- W2026656876 hasConcept C33923547 @default.
- W2026656876 hasConcept C34447519 @default.
- W2026656876 hasConcept C41008148 @default.
- W2026656876 hasConcept C60048249 @default.
- W2026656876 hasConcept C80444323 @default.
- W2026656876 hasConceptScore W2026656876C100481476 @default.
- W2026656876 hasConceptScore W2026656876C102993220 @default.
- W2026656876 hasConceptScore W2026656876C11413529 @default.
- W2026656876 hasConceptScore W2026656876C114614502 @default.
- W2026656876 hasConceptScore W2026656876C118615104 @default.
- W2026656876 hasConceptScore W2026656876C124656256 @default.
- W2026656876 hasConceptScore W2026656876C128896722 @default.
- W2026656876 hasConceptScore W2026656876C133142742 @default.
- W2026656876 hasConceptScore W2026656876C146072743 @default.
- W2026656876 hasConceptScore W2026656876C146834321 @default.
- W2026656876 hasConceptScore W2026656876C154945302 @default.
- W2026656876 hasConceptScore W2026656876C162324750 @default.
- W2026656876 hasConceptScore W2026656876C169896238 @default.
- W2026656876 hasConceptScore W2026656876C171018156 @default.
- W2026656876 hasConceptScore W2026656876C179799912 @default.
- W2026656876 hasConceptScore W2026656876C191399111 @default.
- W2026656876 hasConceptScore W2026656876C199360897 @default.
- W2026656876 hasConceptScore W2026656876C2524010 @default.
- W2026656876 hasConceptScore W2026656876C33923547 @default.
- W2026656876 hasConceptScore W2026656876C34447519 @default.
- W2026656876 hasConceptScore W2026656876C41008148 @default.
- W2026656876 hasConceptScore W2026656876C60048249 @default.
- W2026656876 hasConceptScore W2026656876C80444323 @default.
- W2026656876 hasIssue "1" @default.
- W2026656876 hasLocation W20266568761 @default.
- W2026656876 hasLocation W20266568762 @default.
- W2026656876 hasOpenAccess W2026656876 @default.
- W2026656876 hasPrimaryLocation W20266568761 @default.
- W2026656876 hasRelatedWork W1548215338 @default.
- W2026656876 hasRelatedWork W1970719697 @default.
- W2026656876 hasRelatedWork W1988211490 @default.
- W2026656876 hasRelatedWork W1998044200 @default.
- W2026656876 hasRelatedWork W2026656876 @default.
- W2026656876 hasRelatedWork W2113317244 @default.
- W2026656876 hasRelatedWork W2168681835 @default.
- W2026656876 hasRelatedWork W2796480194 @default.
- W2026656876 hasRelatedWork W2963351616 @default.
- W2026656876 hasRelatedWork W67037240 @default.
- W2026656876 hasVolume "7" @default.
- W2026656876 isParatext "false" @default.
- W2026656876 isRetracted "false" @default.
- W2026656876 magId "2026656876" @default.
- W2026656876 workType "article" @default.