FRINK Linked Data Fragments server

Matches in SemOpenAlex for { <https://semopenalex.org/work/W2980036466> ?p ?o ?g. }

• W2980036466 abstract "We provide a direct method for proving Craig interpolation for a range of modal and intuitionistic logics, including those containing a converse modality. We demonstrate this method for classical tense logic, its extensions with path axioms, and for bi-intuitionistic logic. These logics do not have straightforward formalisations in the traditional Gentzen-style sequent calculus, but have all been shown to have cut-free nested sequent calculi. The proof of the interpolation theorem uses these calculi and is purely syntactic, without resorting to embeddings, semantic arguments, or interpreted connectives external to the underlying logical language. A novel feature of our proof includes an orthogonality condition for defining duality between interpolants." @default.
• W2980036466 created "2019-10-18" @default.
• W2980036466 creator A5019623257 @default.
• W2980036466 creator A5045993299 @default.
• W2980036466 creator A5071064651 @default.
• W2980036466 creator A5088219777 @default.
• W2980036466 date "2019-10-11" @default.
• W2980036466 modified "2023-09-27" @default.
• W2980036466 title "Syntactic Interpolation for Tense Logics and Bi-Intuitionistic Logic via Nested Sequents" @default.
• W2980036466 cites W1586026754 @default.
• W2980036466 cites W195752099 @default.
• W2980036466 cites W1966647830 @default.
• W2980036466 cites W1995718667 @default.
• W2980036466 cites W1996723544 @default.
• W2980036466 cites W2079171825 @default.
• W2980036466 cites W2092847864 @default.
• W2980036466 cites W2164133707 @default.
• W2980036466 cites W2889405014 @default.
• W2980036466 cites W2953377882 @default.
• W2980036466 cites W612868514 @default.
• W2980036466 hasPublicationYear "2019" @default.
• W2980036466 type Work @default.
• W2980036466 sameAs 2980036466 @default.
• W2980036466 citedByCount "0" @default.
• W2980036466 crossrefType "posted-content" @default.
• W2980036466 hasAuthorship W2980036466A5019623257 @default.
• W2980036466 hasAuthorship W2980036466A5045993299 @default.
• W2980036466 hasAuthorship W2980036466A5071064651 @default.
• W2980036466 hasAuthorship W2980036466A5088219777 @default.
• W2980036466 hasConcept C102993220 @default.
• W2980036466 hasConcept C108710211 @default.
• W2980036466 hasConcept C11413529 @default.
• W2980036466 hasConcept C118615104 @default.
• W2980036466 hasConcept C136119220 @default.
• W2980036466 hasConcept C154945302 @default.
• W2980036466 hasConcept C167729594 @default.
• W2980036466 hasConcept C178421362 @default.
• W2980036466 hasConcept C185592680 @default.
• W2980036466 hasConcept C188027245 @default.
• W2980036466 hasConcept C195653647 @default.
• W2980036466 hasConcept C199343813 @default.
• W2980036466 hasConcept C202444582 @default.
• W2980036466 hasConcept C2318724 @default.
• W2980036466 hasConcept C2524010 @default.
• W2980036466 hasConcept C27508121 @default.
• W2980036466 hasConcept C2776809875 @default.
• W2980036466 hasConcept C2777686260 @default.
• W2980036466 hasConcept C28077239 @default.
• W2980036466 hasConcept C33203268 @default.
• W2980036466 hasConcept C33923547 @default.
• W2980036466 hasConcept C41008148 @default.
• W2980036466 hasConcept C65880906 @default.
• W2980036466 hasConcept C71139939 @default.
• W2980036466 hasConcept C71924100 @default.
• W2980036466 hasConcept C89421646 @default.
• W2980036466 hasConceptScore W2980036466C102993220 @default.
• W2980036466 hasConceptScore W2980036466C108710211 @default.
• W2980036466 hasConceptScore W2980036466C11413529 @default.
• W2980036466 hasConceptScore W2980036466C118615104 @default.
• W2980036466 hasConceptScore W2980036466C136119220 @default.
• W2980036466 hasConceptScore W2980036466C154945302 @default.
• W2980036466 hasConceptScore W2980036466C167729594 @default.
• W2980036466 hasConceptScore W2980036466C178421362 @default.
• W2980036466 hasConceptScore W2980036466C185592680 @default.
• W2980036466 hasConceptScore W2980036466C188027245 @default.
• W2980036466 hasConceptScore W2980036466C195653647 @default.
• W2980036466 hasConceptScore W2980036466C199343813 @default.
• W2980036466 hasConceptScore W2980036466C202444582 @default.
• W2980036466 hasConceptScore W2980036466C2318724 @default.
• W2980036466 hasConceptScore W2980036466C2524010 @default.
• W2980036466 hasConceptScore W2980036466C27508121 @default.
• W2980036466 hasConceptScore W2980036466C2776809875 @default.
• W2980036466 hasConceptScore W2980036466C2777686260 @default.
• W2980036466 hasConceptScore W2980036466C28077239 @default.
• W2980036466 hasConceptScore W2980036466C33203268 @default.
• W2980036466 hasConceptScore W2980036466C33923547 @default.
• W2980036466 hasConceptScore W2980036466C41008148 @default.
• W2980036466 hasConceptScore W2980036466C65880906 @default.
• W2980036466 hasConceptScore W2980036466C71139939 @default.
• W2980036466 hasConceptScore W2980036466C71924100 @default.
• W2980036466 hasConceptScore W2980036466C89421646 @default.
• W2980036466 hasLocation W29800364661 @default.
• W2980036466 hasOpenAccess W2980036466 @default.
• W2980036466 hasPrimaryLocation W29800364661 @default.
• W2980036466 hasRelatedWork W1616838321 @default.
• W2980036466 hasRelatedWork W1995718667 @default.
• W2980036466 hasRelatedWork W2006614341 @default.
• W2980036466 hasRelatedWork W2025873079 @default.
• W2980036466 hasRelatedWork W2063687250 @default.
• W2980036466 hasRelatedWork W2104166006 @default.
• W2980036466 hasRelatedWork W2149845275 @default.
• W2980036466 hasRelatedWork W2269575421 @default.
• W2980036466 hasRelatedWork W2488055829 @default.
• W2980036466 hasRelatedWork W2561367415 @default.
• W2980036466 hasRelatedWork W2751124205 @default.
• W2980036466 hasRelatedWork W27601353 @default.
• W2980036466 hasRelatedWork W2761600647 @default.
• W2980036466 hasRelatedWork W2897239477 @default.
• W2980036466 hasRelatedWork W3008129210 @default.
• W2980036466 hasRelatedWork W3009488219 @default.

• next