The Closed Fragment of the Interpretability Logic of PRA with a Constant for

Notre Dame Journal of Formal Logic 46 (2):127-146 (2005)

Joost Joosten
Universitat de Barcelona
In this paper we carry out a comparative study of and PRA. We will in a sense fully determine what these theories have to say about each other in terms of provability and interpretability. Our study will result in two arithmetically complete modal logics with simple universal models
Keywords interpretability logic   provability logic
Categories (categorize this paper)
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
Through your library

References found in this work BETA

No references found.

Add more references

Citations of this work BETA

Add more citations

Similar books and articles

Closed Fragments of Provability Logics of Constructive Theories.Albert Visser - 2008 - Journal of Symbolic Logic 73 (3):1081-1096.
Interpretability Over Peano Arithmetic.Claes Strannegård - 1999 - Journal of Symbolic Logic 64 (4):1407-1425.
The Formalization of Interpretability.Albert Visser - 1991 - Studia Logica 50 (1):81 - 105.
Vaught's Theorem on Axiomatizability by a Scheme.Albert Visser - 2012 - Bulletin of Symbolic Logic 18 (3):382-402.
Forcing Properties of Ideals of Closed Sets.Marcin Sabok & Jindřich Zapletal - 2011 - Journal of Symbolic Logic 76 (3):1075 - 1095.
An Event-Based Fragment of First-Order Logic Over Intervals.Savas Konur - 2011 - Journal of Logic, Language and Information 20 (1):49-68.


Added to PP index

Total views
11 ( #662,538 of 2,248,762 )

Recent downloads (6 months)
1 ( #1,031,479 of 2,248,762 )

How can I increase my downloads?


My notes

Sign in to use this feature