Matches in SemOpenAlex for { <https://semopenalex.org/work/W1975821687> ?p ?o ?g. }
Showing items 1 to 89 of
89
with 100 items per page.
- W1975821687 abstract "In this paper we will be concerned with the interpretability logic of PA and in particular with the fact that this logic, which is denoted by ILM, does not have the interpolation property. An example for this fact seems to emerge from the fact that ILM cannot express Σ₁-ness. This suggests a way to extend the expressive power of interpretability logic, namely, by an additional operator for Σ₁-ness, which might give us a logic with the interpolation property. We will formulate this extension, give an axiomatization which is modally complete and arithmetically complete (although for proofs of these theorems we refer to an earlier paper), and investigate interpolation. We show that this logic still does not have the interpolation property." @default.
- W1975821687 created "2016-06-24" @default.
- W1975821687 creator A5021686663 @default.
- W1975821687 date "2006-04-01" @default.
- W1975821687 modified "2023-09-27" @default.
- W1975821687 title "Interpolation and the Interpretability Logic of PA" @default.
- W1975821687 cites W1911166315 @default.
- W1975821687 cites W1982073522 @default.
- W1975821687 cites W1993283072 @default.
- W1975821687 cites W2016617619 @default.
- W1975821687 cites W2020111721 @default.
- W1975821687 cites W2059933820 @default.
- W1975821687 cites W2066855259 @default.
- W1975821687 cites W2083623540 @default.
- W1975821687 cites W2086768898 @default.
- W1975821687 cites W4239914544 @default.
- W1975821687 cites W4250241526 @default.
- W1975821687 doi "https://doi.org/10.1305/ndjfl/1153858645" @default.
- W1975821687 hasPublicationYear "2006" @default.
- W1975821687 type Work @default.
- W1975821687 sameAs 1975821687 @default.
- W1975821687 citedByCount "1" @default.
- W1975821687 countsByYear W19758216872020 @default.
- W1975821687 crossrefType "journal-article" @default.
- W1975821687 hasAuthorship W1975821687A5021686663 @default.
- W1975821687 hasBestOaLocation W19758216871 @default.
- W1975821687 hasConcept C102993220 @default.
- W1975821687 hasConcept C104114177 @default.
- W1975821687 hasConcept C111472728 @default.
- W1975821687 hasConcept C118615104 @default.
- W1975821687 hasConcept C121332964 @default.
- W1975821687 hasConcept C136119220 @default.
- W1975821687 hasConcept C137800194 @default.
- W1975821687 hasConcept C138885662 @default.
- W1975821687 hasConcept C154945302 @default.
- W1975821687 hasConcept C165801399 @default.
- W1975821687 hasConcept C172385210 @default.
- W1975821687 hasConcept C189950617 @default.
- W1975821687 hasConcept C195818886 @default.
- W1975821687 hasConcept C202444582 @default.
- W1975821687 hasConcept C2777796570 @default.
- W1975821687 hasConcept C2781067378 @default.
- W1975821687 hasConcept C33203268 @default.
- W1975821687 hasConcept C33923547 @default.
- W1975821687 hasConcept C41008148 @default.
- W1975821687 hasConcept C62520636 @default.
- W1975821687 hasConcept C80444323 @default.
- W1975821687 hasConcept C94375191 @default.
- W1975821687 hasConceptScore W1975821687C102993220 @default.
- W1975821687 hasConceptScore W1975821687C104114177 @default.
- W1975821687 hasConceptScore W1975821687C111472728 @default.
- W1975821687 hasConceptScore W1975821687C118615104 @default.
- W1975821687 hasConceptScore W1975821687C121332964 @default.
- W1975821687 hasConceptScore W1975821687C136119220 @default.
- W1975821687 hasConceptScore W1975821687C137800194 @default.
- W1975821687 hasConceptScore W1975821687C138885662 @default.
- W1975821687 hasConceptScore W1975821687C154945302 @default.
- W1975821687 hasConceptScore W1975821687C165801399 @default.
- W1975821687 hasConceptScore W1975821687C172385210 @default.
- W1975821687 hasConceptScore W1975821687C189950617 @default.
- W1975821687 hasConceptScore W1975821687C195818886 @default.
- W1975821687 hasConceptScore W1975821687C202444582 @default.
- W1975821687 hasConceptScore W1975821687C2777796570 @default.
- W1975821687 hasConceptScore W1975821687C2781067378 @default.
- W1975821687 hasConceptScore W1975821687C33203268 @default.
- W1975821687 hasConceptScore W1975821687C33923547 @default.
- W1975821687 hasConceptScore W1975821687C41008148 @default.
- W1975821687 hasConceptScore W1975821687C62520636 @default.
- W1975821687 hasConceptScore W1975821687C80444323 @default.
- W1975821687 hasConceptScore W1975821687C94375191 @default.
- W1975821687 hasIssue "2" @default.
- W1975821687 hasLocation W19758216871 @default.
- W1975821687 hasOpenAccess W1975821687 @default.
- W1975821687 hasPrimaryLocation W19758216871 @default.
- W1975821687 hasRelatedWork W1481219952 @default.
- W1975821687 hasRelatedWork W1975821687 @default.
- W1975821687 hasRelatedWork W2007469624 @default.
- W1975821687 hasRelatedWork W2015238670 @default.
- W1975821687 hasRelatedWork W2078208691 @default.
- W1975821687 hasRelatedWork W2964192494 @default.
- W1975821687 hasRelatedWork W3081601885 @default.
- W1975821687 hasRelatedWork W3204410986 @default.
- W1975821687 hasRelatedWork W4210313485 @default.
- W1975821687 hasRelatedWork W4380153182 @default.
- W1975821687 hasVolume "47" @default.
- W1975821687 isParatext "false" @default.
- W1975821687 isRetracted "false" @default.
- W1975821687 magId "1975821687" @default.
- W1975821687 workType "article" @default.