Matches in SemOpenAlex for { <https://semopenalex.org/work/W2940590953> ?p ?o ?g. }
Showing items 1 to 47 of
47
with 100 items per page.
- W2940590953 abstract "We prove that there is infinitely many tabular modal logics extending KB.Alt(2) which have interpolation." @default.
- W2940590953 created "2019-05-03" @default.
- W2940590953 creator A5024106713 @default.
- W2940590953 date "2018-10-30" @default.
- W2940590953 modified "2023-10-16" @default.
- W2940590953 title "On interpolation in NEXT(KB.Alt(2))" @default.
- W2940590953 cites W161727178 @default.
- W2940590953 cites W2049140460 @default.
- W2940590953 cites W2734370888 @default.
- W2940590953 cites W2970205057 @default.
- W2940590953 cites W84605983 @default.
- W2940590953 doi "https://doi.org/10.18778/0138-0680.47.3.02" @default.
- W2940590953 hasPublicationYear "2018" @default.
- W2940590953 type Work @default.
- W2940590953 sameAs 2940590953 @default.
- W2940590953 citedByCount "0" @default.
- W2940590953 crossrefType "journal-article" @default.
- W2940590953 hasAuthorship W2940590953A5024106713 @default.
- W2940590953 hasBestOaLocation W29405909531 @default.
- W2940590953 hasConcept C104114177 @default.
- W2940590953 hasConcept C137800194 @default.
- W2940590953 hasConcept C154945302 @default.
- W2940590953 hasConcept C33923547 @default.
- W2940590953 hasConcept C41008148 @default.
- W2940590953 hasConceptScore W2940590953C104114177 @default.
- W2940590953 hasConceptScore W2940590953C137800194 @default.
- W2940590953 hasConceptScore W2940590953C154945302 @default.
- W2940590953 hasConceptScore W2940590953C33923547 @default.
- W2940590953 hasConceptScore W2940590953C41008148 @default.
- W2940590953 hasLocation W29405909531 @default.
- W2940590953 hasLocation W29405909532 @default.
- W2940590953 hasOpenAccess W2940590953 @default.
- W2940590953 hasPrimaryLocation W29405909531 @default.
- W2940590953 hasRelatedWork W1432159793 @default.
- W2940590953 hasRelatedWork W1511270946 @default.
- W2940590953 hasRelatedWork W1554212698 @default.
- W2940590953 hasRelatedWork W1974589459 @default.
- W2940590953 hasRelatedWork W2045191725 @default.
- W2940590953 hasRelatedWork W2045859154 @default.
- W2940590953 hasRelatedWork W2086460932 @default.
- W2940590953 hasRelatedWork W2161295375 @default.
- W2940590953 hasRelatedWork W2383239512 @default.
- W2940590953 hasRelatedWork W2783289189 @default.
- W2940590953 isParatext "false" @default.
- W2940590953 isRetracted "false" @default.
- W2940590953 magId "2940590953" @default.
- W2940590953 workType "article" @default.