FRINK Linked Data Fragments server

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

• W2944531937 abstract "We investigate interpolation and Beth definability in default logics. To this end, we start by defining a general framework which is sufficiently abstract to encompass most of the usual definitions of a default logic. In this framework a default logic (mathscr {D}mathfrak {L}) is built on a base, monotonic, logic (mathfrak {L}). We then investigate the question of when interpolation and Beth definability results transfer from (mathfrak {L}) to (mathscr {D}mathfrak {L}). This investigation needs suitable notions of interpolation and Beth definability for default logics. We show both positive and negative general results: depending on how (mathscr {D}mathfrak {L}) is defined and of the kind of interpolation/Beth definability involved, the property might or might not transfer from (mathfrak {L}) to (mathscr {D}mathfrak {L})." @default.
• W2944531937 created "2019-05-16" @default.
• W2944531937 creator A5022706489 @default.
• W2944531937 creator A5046933752 @default.
• W2944531937 creator A5078884064 @default.
• W2944531937 creator A5079953212 @default.
• W2944531937 date "2019-01-01" @default.
• W2944531937 modified "2023-10-08" @default.
• W2944531937 title "Interpolation and Beth Definability in Default Logics" @default.
• W2944531937 cites W1522945997 @default.
• W2944531937 cites W1549614001 @default.
• W2944531937 cites W1572155964 @default.
• W2944531937 cites W1615869694 @default.
• W2944531937 cites W1689987508 @default.
• W2944531937 cites W1993161560 @default.
• W2944531937 cites W2013153283 @default.
• W2944531937 cites W2019851429 @default.
• W2944531937 cites W2050310225 @default.
• W2944531937 cites W2068458083 @default.
• W2944531937 cites W2076706802 @default.
• W2944531937 cites W2078926321 @default.
• W2944531937 cites W2100078804 @default.
• W2944531937 cites W2114633883 @default.
• W2944531937 cites W2154173307 @default.
• W2944531937 cites W4211144022 @default.
• W2944531937 cites W4214949915 @default.
• W2944531937 cites W4242309855 @default.
• W2944531937 cites W4246004534 @default.
• W2944531937 cites W4246158588 @default.
• W2944531937 cites W4248447990 @default.
• W2944531937 doi "https://doi.org/10.1007/978-3-030-19570-0_44" @default.
• W2944531937 hasPublicationYear "2019" @default.
• W2944531937 type Work @default.
• W2944531937 sameAs 2944531937 @default.
• W2944531937 citedByCount "4" @default.
• W2944531937 countsByYear W29445319372019 @default.
• W2944531937 countsByYear W29445319372020 @default.
• W2944531937 countsByYear W29445319372023 @default.
• W2944531937 crossrefType "book-chapter" @default.
• W2944531937 hasAuthorship W2944531937A5022706489 @default.
• W2944531937 hasAuthorship W2944531937A5046933752 @default.
• W2944531937 hasAuthorship W2944531937A5078884064 @default.
• W2944531937 hasAuthorship W2944531937A5079953212 @default.
• W2944531937 hasConcept C102993220 @default.
• W2944531937 hasConcept C104114177 @default.
• W2944531937 hasConcept C118615104 @default.
• W2944531937 hasConcept C134306372 @default.
• W2944531937 hasConcept C136119220 @default.
• W2944531937 hasConcept C137800194 @default.
• W2944531937 hasConcept C154945302 @default.
• W2944531937 hasConcept C160236029 @default.
• W2944531937 hasConcept C173608175 @default.
• W2944531937 hasConcept C202444582 @default.
• W2944531937 hasConcept C203659156 @default.
• W2944531937 hasConcept C2776175482 @default.
• W2944531937 hasConcept C33923547 @default.
• W2944531937 hasConcept C3845977 @default.
• W2944531937 hasConcept C41008148 @default.
• W2944531937 hasConcept C42058472 @default.
• W2944531937 hasConcept C72169020 @default.
• W2944531937 hasConcept C80444323 @default.
• W2944531937 hasConceptScore W2944531937C102993220 @default.
• W2944531937 hasConceptScore W2944531937C104114177 @default.
• W2944531937 hasConceptScore W2944531937C118615104 @default.
• W2944531937 hasConceptScore W2944531937C134306372 @default.
• W2944531937 hasConceptScore W2944531937C136119220 @default.
• W2944531937 hasConceptScore W2944531937C137800194 @default.
• W2944531937 hasConceptScore W2944531937C154945302 @default.
• W2944531937 hasConceptScore W2944531937C160236029 @default.
• W2944531937 hasConceptScore W2944531937C173608175 @default.
• W2944531937 hasConceptScore W2944531937C202444582 @default.
• W2944531937 hasConceptScore W2944531937C203659156 @default.
• W2944531937 hasConceptScore W2944531937C2776175482 @default.
• W2944531937 hasConceptScore W2944531937C33923547 @default.
• W2944531937 hasConceptScore W2944531937C3845977 @default.
• W2944531937 hasConceptScore W2944531937C41008148 @default.
• W2944531937 hasConceptScore W2944531937C42058472 @default.
• W2944531937 hasConceptScore W2944531937C72169020 @default.
• W2944531937 hasConceptScore W2944531937C80444323 @default.
• W2944531937 hasLocation W29445319371 @default.
• W2944531937 hasOpenAccess W2944531937 @default.
• W2944531937 hasPrimaryLocation W29445319371 @default.
• W2944531937 hasRelatedWork W1455676725 @default.
• W2944531937 hasRelatedWork W1565796340 @default.
• W2944531937 hasRelatedWork W1612228220 @default.
• W2944531937 hasRelatedWork W1667825161 @default.
• W2944531937 hasRelatedWork W185309469 @default.
• W2944531937 hasRelatedWork W1977030765 @default.
• W2944531937 hasRelatedWork W2053982440 @default.
• W2944531937 hasRelatedWork W2056412887 @default.
• W2944531937 hasRelatedWork W2071369407 @default.
• W2944531937 hasRelatedWork W2104035880 @default.
• W2944531937 hasRelatedWork W2153924610 @default.
• W2944531937 hasRelatedWork W2593401383 @default.
• W2944531937 hasRelatedWork W2607009070 @default.
• W2944531937 hasRelatedWork W2788276321 @default.
• W2944531937 hasRelatedWork W2949415503 @default.
• W2944531937 hasRelatedWork W2952610483 @default.
• W2944531937 hasRelatedWork W3040094688 @default.
• W2944531937 hasRelatedWork W3049549325 @default.

• next