Matches in SemOpenAlex for { <https://semopenalex.org/work/W2103222205> ?p ?o ?g. }
- W2103222205 abstract "The logical framework LF is a constructive type theory of dependent functions that can elegantly encode many other logical systems. Prior work has studied the benefits of extending it to the linear logical framework LLF, for the incorporation linear logic features into the type theory affords good representations of state change. We describe and argue for the usefulness of an extension of LF by features inspired by hybrid logic, which has several benefits. For one, it shows how linear logic features can be decomposed into primitive operations manipulating abstract resource labels. More importantly, it makes it possible to realize a metalogical framework capable of reasoning about stateful deductive systems encoded in the style familiar front prior work with LLF, taking advantage of familiar methodologies used for metatheoretic reasoning in LF." @default.
- W2103222205 created "2016-06-24" @default.
- W2103222205 creator A5021476649 @default.
- W2103222205 creator A5026300381 @default.
- W2103222205 date "2009-01-01" @default.
- W2103222205 modified "2023-09-27" @default.
- W2103222205 title "A hybrid logical framework" @default.
- W2103222205 cites W147093031 @default.
- W2103222205 cites W1480580285 @default.
- W2103222205 cites W1498395593 @default.
- W2103222205 cites W1501902699 @default.
- W2103222205 cites W1523618566 @default.
- W2103222205 cites W1546574044 @default.
- W2103222205 cites W1552664250 @default.
- W2103222205 cites W1584475357 @default.
- W2103222205 cites W1591716390 @default.
- W2103222205 cites W1605543663 @default.
- W2103222205 cites W171073024 @default.
- W2103222205 cites W1727609483 @default.
- W2103222205 cites W1784226744 @default.
- W2103222205 cites W192070947 @default.
- W2103222205 cites W1963779317 @default.
- W2103222205 cites W1964976097 @default.
- W2103222205 cites W1965593653 @default.
- W2103222205 cites W1970743187 @default.
- W2103222205 cites W1974190112 @default.
- W2103222205 cites W1990204174 @default.
- W2103222205 cites W1990946582 @default.
- W2103222205 cites W2008132476 @default.
- W2103222205 cites W2009464583 @default.
- W2103222205 cites W2013474929 @default.
- W2103222205 cites W2019935365 @default.
- W2103222205 cites W2024730457 @default.
- W2103222205 cites W2043220080 @default.
- W2103222205 cites W2043740265 @default.
- W2103222205 cites W2052882335 @default.
- W2103222205 cites W2065563147 @default.
- W2103222205 cites W2068458083 @default.
- W2103222205 cites W2070324762 @default.
- W2103222205 cites W2075352622 @default.
- W2103222205 cites W2076859913 @default.
- W2103222205 cites W2079333278 @default.
- W2103222205 cites W2089177783 @default.
- W2103222205 cites W2089265642 @default.
- W2103222205 cites W2106458801 @default.
- W2103222205 cites W2107440213 @default.
- W2103222205 cites W2107463944 @default.
- W2103222205 cites W2109772966 @default.
- W2103222205 cites W2137628566 @default.
- W2103222205 cites W2141287679 @default.
- W2103222205 cites W2147403806 @default.
- W2103222205 cites W2150133406 @default.
- W2103222205 cites W2157379912 @default.
- W2103222205 cites W2159869514 @default.
- W2103222205 cites W2164449382 @default.
- W2103222205 cites W2172176924 @default.
- W2103222205 cites W2180471721 @default.
- W2103222205 cites W2276605436 @default.
- W2103222205 cites W2483224809 @default.
- W2103222205 cites W2911865844 @default.
- W2103222205 cites W3181070739 @default.
- W2103222205 cites W139261934 @default.
- W2103222205 cites W176827147 @default.
- W2103222205 cites W28296052 @default.
- W2103222205 hasPublicationYear "2009" @default.
- W2103222205 type Work @default.
- W2103222205 sameAs 2103222205 @default.
- W2103222205 citedByCount "4" @default.
- W2103222205 countsByYear W21032222052012 @default.
- W2103222205 countsByYear W21032222052017 @default.
- W2103222205 crossrefType "journal-article" @default.
- W2103222205 hasAuthorship W2103222205A5021476649 @default.
- W2103222205 hasAuthorship W2103222205A5026300381 @default.
- W2103222205 hasConcept C104317684 @default.
- W2103222205 hasConcept C134752490 @default.
- W2103222205 hasConcept C154945302 @default.
- W2103222205 hasConcept C185592680 @default.
- W2103222205 hasConcept C18903297 @default.
- W2103222205 hasConcept C199360897 @default.
- W2103222205 hasConcept C20693621 @default.
- W2103222205 hasConcept C2777299769 @default.
- W2103222205 hasConcept C2778029271 @default.
- W2103222205 hasConcept C28077239 @default.
- W2103222205 hasConcept C41008148 @default.
- W2103222205 hasConcept C55493867 @default.
- W2103222205 hasConcept C66746571 @default.
- W2103222205 hasConcept C74992188 @default.
- W2103222205 hasConcept C80444323 @default.
- W2103222205 hasConcept C86803240 @default.
- W2103222205 hasConcept C93682546 @default.
- W2103222205 hasConceptScore W2103222205C104317684 @default.
- W2103222205 hasConceptScore W2103222205C134752490 @default.
- W2103222205 hasConceptScore W2103222205C154945302 @default.
- W2103222205 hasConceptScore W2103222205C185592680 @default.
- W2103222205 hasConceptScore W2103222205C18903297 @default.
- W2103222205 hasConceptScore W2103222205C199360897 @default.
- W2103222205 hasConceptScore W2103222205C20693621 @default.
- W2103222205 hasConceptScore W2103222205C2777299769 @default.
- W2103222205 hasConceptScore W2103222205C2778029271 @default.
- W2103222205 hasConceptScore W2103222205C28077239 @default.