Matches in SemOpenAlex for { <https://semopenalex.org/work/W3118838177> ?p ?o ?g. }
Showing items 1 to 67 of
67
with 100 items per page.
- W3118838177 abstract "We investigate several consequences of inclusion relations between predicate provability logics. Moreover, we give a necessary and sufficient condition for the inclusion relation between predicate provability logics with respect to $Sigma_1$ arithmetical interpretations." @default.
- W3118838177 created "2021-01-18" @default.
- W3118838177 creator A5031043850 @default.
- W3118838177 date "2021-01-09" @default.
- W3118838177 modified "2023-09-27" @default.
- W3118838177 title "On inclusions between predicate provability logics" @default.
- W3118838177 hasPublicationYear "2021" @default.
- W3118838177 type Work @default.
- W3118838177 sameAs 3118838177 @default.
- W3118838177 citedByCount "0" @default.
- W3118838177 crossrefType "posted-content" @default.
- W3118838177 hasAuthorship W3118838177A5031043850 @default.
- W3118838177 hasConcept C112343008 @default.
- W3118838177 hasConcept C118615104 @default.
- W3118838177 hasConcept C121332964 @default.
- W3118838177 hasConcept C136119220 @default.
- W3118838177 hasConcept C140146324 @default.
- W3118838177 hasConcept C199343813 @default.
- W3118838177 hasConcept C199360897 @default.
- W3118838177 hasConcept C202444582 @default.
- W3118838177 hasConcept C2777686260 @default.
- W3118838177 hasConcept C2778049214 @default.
- W3118838177 hasConcept C33923547 @default.
- W3118838177 hasConcept C41008148 @default.
- W3118838177 hasConcept C62520636 @default.
- W3118838177 hasConcept C71924100 @default.
- W3118838177 hasConceptScore W3118838177C112343008 @default.
- W3118838177 hasConceptScore W3118838177C118615104 @default.
- W3118838177 hasConceptScore W3118838177C121332964 @default.
- W3118838177 hasConceptScore W3118838177C136119220 @default.
- W3118838177 hasConceptScore W3118838177C140146324 @default.
- W3118838177 hasConceptScore W3118838177C199343813 @default.
- W3118838177 hasConceptScore W3118838177C199360897 @default.
- W3118838177 hasConceptScore W3118838177C202444582 @default.
- W3118838177 hasConceptScore W3118838177C2777686260 @default.
- W3118838177 hasConceptScore W3118838177C2778049214 @default.
- W3118838177 hasConceptScore W3118838177C33923547 @default.
- W3118838177 hasConceptScore W3118838177C41008148 @default.
- W3118838177 hasConceptScore W3118838177C62520636 @default.
- W3118838177 hasConceptScore W3118838177C71924100 @default.
- W3118838177 hasLocation W31188381771 @default.
- W3118838177 hasOpenAccess W3118838177 @default.
- W3118838177 hasPrimaryLocation W31188381771 @default.
- W3118838177 hasRelatedWork W1551216477 @default.
- W3118838177 hasRelatedWork W1556894108 @default.
- W3118838177 hasRelatedWork W1612228220 @default.
- W3118838177 hasRelatedWork W1977030765 @default.
- W3118838177 hasRelatedWork W1991452220 @default.
- W3118838177 hasRelatedWork W2010376212 @default.
- W3118838177 hasRelatedWork W2056412887 @default.
- W3118838177 hasRelatedWork W2154114798 @default.
- W3118838177 hasRelatedWork W2561046726 @default.
- W3118838177 hasRelatedWork W2588561489 @default.
- W3118838177 hasRelatedWork W2610004422 @default.
- W3118838177 hasRelatedWork W2726060486 @default.
- W3118838177 hasRelatedWork W2801723787 @default.
- W3118838177 hasRelatedWork W2949086988 @default.
- W3118838177 hasRelatedWork W2970741650 @default.
- W3118838177 hasRelatedWork W3016671586 @default.
- W3118838177 hasRelatedWork W3032338208 @default.
- W3118838177 hasRelatedWork W3037783357 @default.
- W3118838177 hasRelatedWork W3043801095 @default.
- W3118838177 hasRelatedWork W3049549325 @default.
- W3118838177 isParatext "false" @default.
- W3118838177 isRetracted "false" @default.
- W3118838177 magId "3118838177" @default.
- W3118838177 workType "article" @default.