Matches in SemOpenAlex for { <https://semopenalex.org/work/W4380153182> ?p ?o ?g. }
Showing items 1 to 81 of
81
with 100 items per page.
- W4380153182 abstract "Abstract We study the fixed point property and the Craig interpolation property for sublogics of the interpretability logic $$textbf{IL}$$ <mml:math xmlns:mml=http://www.w3.org/1998/Math/MathML> <mml:mi>IL</mml:mi> </mml:math> . We provide a complete description of these sublogics concerning the uniqueness of fixed points, the fixed point property and the Craig interpolation property." @default.
- W4380153182 created "2023-06-11" @default.
- W4380153182 creator A5001973465 @default.
- W4380153182 creator A5009264554 @default.
- W4380153182 creator A5031043850 @default.
- W4380153182 date "2023-06-10" @default.
- W4380153182 modified "2023-10-18" @default.
- W4380153182 title "The fixed point and the Craig interpolation properties for sublogics of $$textbf{IL}$$" @default.
- W4380153182 cites W1176213484 @default.
- W4380153182 cites W1911166315 @default.
- W4380153182 cites W1987214648 @default.
- W4380153182 cites W1996906710 @default.
- W4380153182 cites W2086768898 @default.
- W4380153182 cites W3183306452 @default.
- W4380153182 cites W4213305346 @default.
- W4380153182 cites W4239914544 @default.
- W4380153182 cites W4253934133 @default.
- W4380153182 doi "https://doi.org/10.1007/s00153-023-00882-6" @default.
- W4380153182 hasPublicationYear "2023" @default.
- W4380153182 type Work @default.
- W4380153182 citedByCount "0" @default.
- W4380153182 crossrefType "journal-article" @default.
- W4380153182 hasAuthorship W4380153182A5001973465 @default.
- W4380153182 hasAuthorship W4380153182A5009264554 @default.
- W4380153182 hasAuthorship W4380153182A5031043850 @default.
- W4380153182 hasBestOaLocation W43801531821 @default.
- W4380153182 hasConcept C104114177 @default.
- W4380153182 hasConcept C105720234 @default.
- W4380153182 hasConcept C111472728 @default.
- W4380153182 hasConcept C118615104 @default.
- W4380153182 hasConcept C134306372 @default.
- W4380153182 hasConcept C136119220 @default.
- W4380153182 hasConcept C137800194 @default.
- W4380153182 hasConcept C138885662 @default.
- W4380153182 hasConcept C154945302 @default.
- W4380153182 hasConcept C189950617 @default.
- W4380153182 hasConcept C202444582 @default.
- W4380153182 hasConcept C2524010 @default.
- W4380153182 hasConcept C2777021972 @default.
- W4380153182 hasConcept C2781067378 @default.
- W4380153182 hasConcept C28719098 @default.
- W4380153182 hasConcept C33923547 @default.
- W4380153182 hasConcept C41008148 @default.
- W4380153182 hasConcept C45962547 @default.
- W4380153182 hasConcept C61445026 @default.
- W4380153182 hasConceptScore W4380153182C104114177 @default.
- W4380153182 hasConceptScore W4380153182C105720234 @default.
- W4380153182 hasConceptScore W4380153182C111472728 @default.
- W4380153182 hasConceptScore W4380153182C118615104 @default.
- W4380153182 hasConceptScore W4380153182C134306372 @default.
- W4380153182 hasConceptScore W4380153182C136119220 @default.
- W4380153182 hasConceptScore W4380153182C137800194 @default.
- W4380153182 hasConceptScore W4380153182C138885662 @default.
- W4380153182 hasConceptScore W4380153182C154945302 @default.
- W4380153182 hasConceptScore W4380153182C189950617 @default.
- W4380153182 hasConceptScore W4380153182C202444582 @default.
- W4380153182 hasConceptScore W4380153182C2524010 @default.
- W4380153182 hasConceptScore W4380153182C2777021972 @default.
- W4380153182 hasConceptScore W4380153182C2781067378 @default.
- W4380153182 hasConceptScore W4380153182C28719098 @default.
- W4380153182 hasConceptScore W4380153182C33923547 @default.
- W4380153182 hasConceptScore W4380153182C41008148 @default.
- W4380153182 hasConceptScore W4380153182C45962547 @default.
- W4380153182 hasConceptScore W4380153182C61445026 @default.
- W4380153182 hasFunder F4320334764 @default.
- W4380153182 hasLocation W43801531821 @default.
- W4380153182 hasOpenAccess W4380153182 @default.
- W4380153182 hasPrimaryLocation W43801531821 @default.
- W4380153182 hasRelatedWork W185334373 @default.
- W4380153182 hasRelatedWork W1965533470 @default.
- W4380153182 hasRelatedWork W2025112004 @default.
- W4380153182 hasRelatedWork W2062317525 @default.
- W4380153182 hasRelatedWork W2118577972 @default.
- W4380153182 hasRelatedWork W2320944270 @default.
- W4380153182 hasRelatedWork W2347226865 @default.
- W4380153182 hasRelatedWork W4206543532 @default.
- W4380153182 hasRelatedWork W9637908 @default.
- W4380153182 hasRelatedWork W2298973244 @default.
- W4380153182 isParatext "false" @default.
- W4380153182 isRetracted "false" @default.
- W4380153182 workType "article" @default.