Matches in SemOpenAlex for { <https://semopenalex.org/work/W2017658637> ?p ?o ?g. }
Showing items 1 to 58 of
58
with 100 items per page.
- W2017658637 endingPage "29" @default.
- W2017658637 startingPage "3" @default.
- W2017658637 abstract "A modal logic is developed to deal with finite ordered binary trees as they are used in (computational) linguistics. A modal language is introduced with operators for the `mother of', `first daughter of' and `second daughter of' relations together with their transitive reflexive closures. The relevant class of tree models is defined and three linguistic applications of this language are discussed: context free grammars, command relations, and trees decorated with feature structures. An axiomatic proof system is given for which completeness is shown with respect to the class of finite ordered binary trees. A number of decidability results follow.Article" @default.
- W2017658637 created "2016-06-24" @default.
- W2017658637 creator A5029977761 @default.
- W2017658637 creator A5044128824 @default.
- W2017658637 date "1994-01-01" @default.
- W2017658637 modified "2023-10-14" @default.
- W2017658637 title "Linguistics, Logic and Finite Trees" @default.
- W2017658637 doi "https://doi.org/10.1093/jigpal/2.1.3" @default.
- W2017658637 hasPublicationYear "1994" @default.
- W2017658637 type Work @default.
- W2017658637 sameAs 2017658637 @default.
- W2017658637 citedByCount "85" @default.
- W2017658637 countsByYear W20176586372012 @default.
- W2017658637 countsByYear W20176586372013 @default.
- W2017658637 countsByYear W20176586372014 @default.
- W2017658637 countsByYear W20176586372015 @default.
- W2017658637 countsByYear W20176586372016 @default.
- W2017658637 countsByYear W20176586372017 @default.
- W2017658637 countsByYear W20176586372019 @default.
- W2017658637 countsByYear W20176586372020 @default.
- W2017658637 countsByYear W20176586372021 @default.
- W2017658637 countsByYear W20176586372022 @default.
- W2017658637 countsByYear W20176586372023 @default.
- W2017658637 crossrefType "journal-article" @default.
- W2017658637 hasAuthorship W2017658637A5029977761 @default.
- W2017658637 hasAuthorship W2017658637A5044128824 @default.
- W2017658637 hasBestOaLocation W20176586372 @default.
- W2017658637 hasConcept C138885662 @default.
- W2017658637 hasConcept C41008148 @default.
- W2017658637 hasConcept C41895202 @default.
- W2017658637 hasConceptScore W2017658637C138885662 @default.
- W2017658637 hasConceptScore W2017658637C41008148 @default.
- W2017658637 hasConceptScore W2017658637C41895202 @default.
- W2017658637 hasIssue "1" @default.
- W2017658637 hasLocation W20176586371 @default.
- W2017658637 hasLocation W20176586372 @default.
- W2017658637 hasLocation W20176586373 @default.
- W2017658637 hasLocation W20176586374 @default.
- W2017658637 hasLocation W20176586375 @default.
- W2017658637 hasOpenAccess W2017658637 @default.
- W2017658637 hasPrimaryLocation W20176586371 @default.
- W2017658637 hasRelatedWork W2093578348 @default.
- W2017658637 hasRelatedWork W2350741829 @default.
- W2017658637 hasRelatedWork W2358668433 @default.
- W2017658637 hasRelatedWork W2376932109 @default.
- W2017658637 hasRelatedWork W2382290278 @default.
- W2017658637 hasRelatedWork W2390279801 @default.
- W2017658637 hasRelatedWork W2748952813 @default.
- W2017658637 hasRelatedWork W2766271392 @default.
- W2017658637 hasRelatedWork W2899084033 @default.
- W2017658637 hasRelatedWork W3004735627 @default.
- W2017658637 hasVolume "2" @default.
- W2017658637 isParatext "false" @default.
- W2017658637 isRetracted "false" @default.
- W2017658637 magId "2017658637" @default.
- W2017658637 workType "article" @default.