FRINK Linked Data Fragments server

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

• W3108815624 abstract "Abstract The Craig Interpolation Theorem is a well-known property in the mathematical logic curricula, with many domain applications, such as in the modularization of formal specifications and ontologies. This property states the following: given an implication, say formula ϕ implies another formula ψ, then there is a formula β, called the interpolant, in the common language of ϕ and ψ, such that ϕ also implies β, as well as β implies ψ. Although it is already known that the propositional multi-modal logic Km enjoys Craig interpolation, we are not aware of method providing an explicit construction of interpolants. We describe in this paper a constructive proof of the Craig interpolation property on the multi-modal logic Km. Interpolants can be explicitly computed from the proof. Furthermore, we also describe an upper bound for the computation of interpolants. The proof is based on the application of Maehara technique on a tree-hypersequent calculus. As a corollary of interpolation, we also show Beth definability and Robinson joint consistency." @default.
• W3108815624 created "2020-12-07" @default.
• W3108815624 creator A5031737971 @default.
• W3108815624 creator A5039000479 @default.
• W3108815624 creator A5042842478 @default.
• W3108815624 creator A5086701100 @default.
• W3108815624 date "2020-12-01" @default.
• W3108815624 modified "2023-10-16" @default.
• W3108815624 title "A Note on Constructive Interpolation for the Multi-Modal Logic K" @default.
• W3108815624 cites W195752099 @default.
• W3108815624 cites W1984616471 @default.
• W3108815624 cites W1988083342 @default.
• W3108815624 cites W2011141803 @default.
• W3108815624 cites W2017057265 @default.
• W3108815624 cites W2025873079 @default.
• W3108815624 cites W2027698441 @default.
• W3108815624 cites W2055715986 @default.
• W3108815624 cites W2057072590 @default.
• W3108815624 cites W2076073997 @default.
• W3108815624 cites W2114633883 @default.
• W3108815624 cites W2117223386 @default.
• W3108815624 cites W2171052763 @default.
• W3108815624 doi "https://doi.org/10.1016/j.entcs.2020.10.002" @default.
• W3108815624 hasPublicationYear "2020" @default.
• W3108815624 type Work @default.
• W3108815624 sameAs 3108815624 @default.
• W3108815624 citedByCount "0" @default.
• W3108815624 crossrefType "journal-article" @default.
• W3108815624 hasAuthorship W3108815624A5031737971 @default.
• W3108815624 hasAuthorship W3108815624A5039000479 @default.
• W3108815624 hasAuthorship W3108815624A5042842478 @default.
• W3108815624 hasAuthorship W3108815624A5086701100 @default.
• W3108815624 hasBestOaLocation W31088156241 @default.
• W3108815624 hasConcept C102993220 @default.
• W3108815624 hasConcept C104114177 @default.
• W3108815624 hasConcept C114092440 @default.
• W3108815624 hasConcept C118615104 @default.
• W3108815624 hasConcept C121332964 @default.
• W3108815624 hasConcept C136119220 @default.
• W3108815624 hasConcept C137800194 @default.
• W3108815624 hasConcept C154945302 @default.
• W3108815624 hasConcept C165801399 @default.
• W3108815624 hasConcept C172385210 @default.
• W3108815624 hasConcept C173125200 @default.
• W3108815624 hasConcept C185592680 @default.
• W3108815624 hasConcept C188027245 @default.
• W3108815624 hasConcept C199343813 @default.
• W3108815624 hasConcept C202444582 @default.
• W3108815624 hasConcept C202854965 @default.
• W3108815624 hasConcept C203659156 @default.
• W3108815624 hasConcept C27508121 @default.
• W3108815624 hasConcept C2777686260 @default.
• W3108815624 hasConcept C2777796570 @default.
• W3108815624 hasConcept C33923547 @default.
• W3108815624 hasConcept C41008148 @default.
• W3108815624 hasConcept C62520636 @default.
• W3108815624 hasConcept C71139939 @default.
• W3108815624 hasConcept C71924100 @default.
• W3108815624 hasConcept C80444323 @default.
• W3108815624 hasConceptScore W3108815624C102993220 @default.
• W3108815624 hasConceptScore W3108815624C104114177 @default.
• W3108815624 hasConceptScore W3108815624C114092440 @default.
• W3108815624 hasConceptScore W3108815624C118615104 @default.
• W3108815624 hasConceptScore W3108815624C121332964 @default.
• W3108815624 hasConceptScore W3108815624C136119220 @default.
• W3108815624 hasConceptScore W3108815624C137800194 @default.
• W3108815624 hasConceptScore W3108815624C154945302 @default.
• W3108815624 hasConceptScore W3108815624C165801399 @default.
• W3108815624 hasConceptScore W3108815624C172385210 @default.
• W3108815624 hasConceptScore W3108815624C173125200 @default.
• W3108815624 hasConceptScore W3108815624C185592680 @default.
• W3108815624 hasConceptScore W3108815624C188027245 @default.
• W3108815624 hasConceptScore W3108815624C199343813 @default.
• W3108815624 hasConceptScore W3108815624C202444582 @default.
• W3108815624 hasConceptScore W3108815624C202854965 @default.
• W3108815624 hasConceptScore W3108815624C203659156 @default.
• W3108815624 hasConceptScore W3108815624C27508121 @default.
• W3108815624 hasConceptScore W3108815624C2777686260 @default.
• W3108815624 hasConceptScore W3108815624C2777796570 @default.
• W3108815624 hasConceptScore W3108815624C33923547 @default.
• W3108815624 hasConceptScore W3108815624C41008148 @default.
• W3108815624 hasConceptScore W3108815624C62520636 @default.
• W3108815624 hasConceptScore W3108815624C71139939 @default.
• W3108815624 hasConceptScore W3108815624C71924100 @default.
• W3108815624 hasConceptScore W3108815624C80444323 @default.
• W3108815624 hasLocation W31088156241 @default.
• W3108815624 hasOpenAccess W3108815624 @default.
• W3108815624 hasPrimaryLocation W31088156241 @default.
• W3108815624 hasRelatedWork W5268957 @default.
• W3108815624 hasRelatedWork W6393781 @default.
• W3108815624 hasRelatedWork W6551300 @default.
• W3108815624 hasRelatedWork W6559486 @default.
• W3108815624 hasRelatedWork W7214913 @default.
• W3108815624 hasRelatedWork W7834247 @default.
• W3108815624 hasRelatedWork W7980256 @default.
• W3108815624 hasRelatedWork W8130393 @default.
• W3108815624 hasRelatedWork W8365111 @default.
• W3108815624 hasRelatedWork W2058923 @default.
• W3108815624 isParatext "false" @default.
• W3108815624 isRetracted "false" @default.

• next