Matches in SemOpenAlex for { <https://semopenalex.org/work/W2942285534> ?p ?o ?g. }
Showing items 1 to 100 of
100
with 100 items per page.
- W2942285534 abstract "We propose a linear to reformulate intuitionistic modal logic S4 (IS4) in terms of linear logic, establishing an S4-version of Girard translation from IS4 to it. While the Girard translation from intuitionistic logic to linear logic is well-known, its extension to modal logic is non-trivial since a naive combination of the S4 modality and the exponential modality causes an undesirable interaction between the two modalities. To solve the problem, we introduce an extension of intuitionistic multiplicative exponential linear logic with a modality combining the S4 modality and the exponential modality, and show that it admits a sound translation from IS4. Through the Curry-Howard correspondence we further obtain a Geometry of Interaction Machine semantics of the modal lambda-calculus by Pfenning and Davies for staged computation." @default.
- W2942285534 created "2019-05-03" @default.
- W2942285534 creator A5013440741 @default.
- W2942285534 creator A5069536246 @default.
- W2942285534 date "2019-04-24" @default.
- W2942285534 modified "2023-09-25" @default.
- W2942285534 title "A Linear-logical Reconstruction of Intuitionistic Modal Logic S4" @default.
- W2942285534 cites W1604450157 @default.
- W2942285534 cites W2012615291 @default.
- W2942285534 cites W20138908 @default.
- W2942285534 cites W2045549616 @default.
- W2942285534 cites W2083251128 @default.
- W2942285534 cites W2094455839 @default.
- W2942285534 cites W3099174632 @default.
- W2942285534 hasPublicationYear "2019" @default.
- W2942285534 type Work @default.
- W2942285534 sameAs 2942285534 @default.
- W2942285534 citedByCount "0" @default.
- W2942285534 crossrefType "posted-content" @default.
- W2942285534 hasAuthorship W2942285534A5013440741 @default.
- W2942285534 hasAuthorship W2942285534A5069536246 @default.
- W2942285534 hasConcept C102993220 @default.
- W2942285534 hasConcept C104317684 @default.
- W2942285534 hasConcept C105580179 @default.
- W2942285534 hasConcept C108710211 @default.
- W2942285534 hasConcept C11413529 @default.
- W2942285534 hasConcept C118615104 @default.
- W2942285534 hasConcept C136119220 @default.
- W2942285534 hasConcept C149364088 @default.
- W2942285534 hasConcept C154945302 @default.
- W2942285534 hasConcept C178421362 @default.
- W2942285534 hasConcept C185592680 @default.
- W2942285534 hasConcept C188027245 @default.
- W2942285534 hasConcept C199343813 @default.
- W2942285534 hasConcept C202444582 @default.
- W2942285534 hasConcept C2524010 @default.
- W2942285534 hasConcept C27508121 @default.
- W2942285534 hasConcept C2777686260 @default.
- W2942285534 hasConcept C2780226545 @default.
- W2942285534 hasConcept C28077239 @default.
- W2942285534 hasConcept C33203268 @default.
- W2942285534 hasConcept C33923547 @default.
- W2942285534 hasConcept C41008148 @default.
- W2942285534 hasConcept C55493867 @default.
- W2942285534 hasConcept C65880906 @default.
- W2942285534 hasConcept C71139939 @default.
- W2942285534 hasConcept C71924100 @default.
- W2942285534 hasConceptScore W2942285534C102993220 @default.
- W2942285534 hasConceptScore W2942285534C104317684 @default.
- W2942285534 hasConceptScore W2942285534C105580179 @default.
- W2942285534 hasConceptScore W2942285534C108710211 @default.
- W2942285534 hasConceptScore W2942285534C11413529 @default.
- W2942285534 hasConceptScore W2942285534C118615104 @default.
- W2942285534 hasConceptScore W2942285534C136119220 @default.
- W2942285534 hasConceptScore W2942285534C149364088 @default.
- W2942285534 hasConceptScore W2942285534C154945302 @default.
- W2942285534 hasConceptScore W2942285534C178421362 @default.
- W2942285534 hasConceptScore W2942285534C185592680 @default.
- W2942285534 hasConceptScore W2942285534C188027245 @default.
- W2942285534 hasConceptScore W2942285534C199343813 @default.
- W2942285534 hasConceptScore W2942285534C202444582 @default.
- W2942285534 hasConceptScore W2942285534C2524010 @default.
- W2942285534 hasConceptScore W2942285534C27508121 @default.
- W2942285534 hasConceptScore W2942285534C2777686260 @default.
- W2942285534 hasConceptScore W2942285534C2780226545 @default.
- W2942285534 hasConceptScore W2942285534C28077239 @default.
- W2942285534 hasConceptScore W2942285534C33203268 @default.
- W2942285534 hasConceptScore W2942285534C33923547 @default.
- W2942285534 hasConceptScore W2942285534C41008148 @default.
- W2942285534 hasConceptScore W2942285534C55493867 @default.
- W2942285534 hasConceptScore W2942285534C65880906 @default.
- W2942285534 hasConceptScore W2942285534C71139939 @default.
- W2942285534 hasConceptScore W2942285534C71924100 @default.
- W2942285534 hasLocation W29422855341 @default.
- W2942285534 hasOpenAccess W2942285534 @default.
- W2942285534 hasPrimaryLocation W29422855341 @default.
- W2942285534 hasRelatedWork W1033924769 @default.
- W2942285534 hasRelatedWork W1509441924 @default.
- W2942285534 hasRelatedWork W1616838321 @default.
- W2942285534 hasRelatedWork W1989423435 @default.
- W2942285534 hasRelatedWork W1996474321 @default.
- W2942285534 hasRelatedWork W2039904055 @default.
- W2942285534 hasRelatedWork W2045549616 @default.
- W2942285534 hasRelatedWork W2071208838 @default.
- W2942285534 hasRelatedWork W2072934838 @default.
- W2942285534 hasRelatedWork W2090768444 @default.
- W2942285534 hasRelatedWork W2133505614 @default.
- W2942285534 hasRelatedWork W2149845275 @default.
- W2942285534 hasRelatedWork W2155653377 @default.
- W2942285534 hasRelatedWork W2162253430 @default.
- W2942285534 hasRelatedWork W2224519702 @default.
- W2942285534 hasRelatedWork W2901238796 @default.
- W2942285534 hasRelatedWork W2953977622 @default.
- W2942285534 hasRelatedWork W2963845050 @default.
- W2942285534 hasRelatedWork W2997148829 @default.
- W2942285534 hasRelatedWork W35550565 @default.
- W2942285534 isParatext "false" @default.
- W2942285534 isRetracted "false" @default.
- W2942285534 magId "2942285534" @default.
- W2942285534 workType "article" @default.