Interpolation and the Interpretability Logic of PA

Notre Dame Journal of Formal Logic 47 (2):179-195 (2006)

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
Keywords provability logic   interpretability logic   interpolation
Categories (categorize this paper)
DOI 10.1305/ndjfl/1153858645
Edit this record
Mark as duplicate
Export citation
Find it on Scholar
Request removal from index
Revision history

Download options

Our Archive

Upload a copy of this paper     Check publisher's policy     Papers currently archived: 41,507
External links

Setup an account with your affiliations in order to access resources via your University's proxy server
Configure custom proxy (use this if your affiliation does not provide a proxy)
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

No citations found.

Add more citations

Similar books and articles


Added to PP index

Total views
13 ( #591,003 of 2,248,762 )

Recent downloads (6 months)
7 ( #246,724 of 2,248,762 )

How can I increase my downloads?


My notes

Sign in to use this feature