Bibliography

AdJH98

C. Areces, D. de Jongh, and E. Hoogland.
The interpolation theorem for ${\sf {il}}$ and ${\sf {ilp}}$.
In Proceedings of AiML98. Advances in Modal Logic, Uppsala. Sweden, October 1998. Uppsala University.

Ben84

J. van Benthem.
Correspondence theory.
In D. Gabbay and F. Guenthner, editors, Handbook of Philosophical Logic. Vol II, volume 165 of Synthese Library, pages 167-248. D. Reidel Publishing Co., Dordrecht, 1984.
Extensions of classical logic.

Ber90

A. Berarducci.
The interpretability logic of Peano arithmetic.
Journal of Symbolic Logic, 55:1059-1089, 1990.

Boo93

G. Boolos.
The logic of provability.
Cambridge University Press, 1993.

BV93

A. Berarducci and R. Verbrugge.
On the provability logic of bounded arithmetic.
Annals of Pure and Applied Logic, 61:75-93, 1993.

Cha91

L. Chagrova.
An undecidable problem in correspondence theory.
J. Symbolic Logic, 56(4):1261-1272, 1991.

dJD90

D. de Jongh and Pianigiani D.
Solution of a problem of david guaspari.
Technical report, Universiteit van Amsterdam, 1990.

dJV

D. de Jongh and F. Veltman.
Modal completeness of $\mathit{ILW}$.
Unpublished.

Göd92

K. Gödel.
On formally undecidable propositions of Principia mathematica and related systems.
Dover Publications Inc., New York, 1992.
Translated from the German and with a preface by B. Meltzer, With an introduction by R. B. Braithwaite, Reprint of the 1963 translation.

Iem98

R. Iemhoff.
A modal analysis of some principles of the provability logic of Heyting Arithmetic.
In In proceedings of AiML'98, Uppsala, 1998.

JdJ98

G. Japaridze and D. de Jongh.
The logic of provability.
In S. Buss, editor, Handbook of proof theory, pages 475-546. North-Holland Publishing Co., amsterdam edition, 1998.

JV91

D. de Jongh and A. Visser.
Explicit fixed points in interpretability logic.
Studia Logica, 50:39-50, 1991.

Löb55

M. H. Löb.
Solution of a problem of Leon Henkin.
J. Symb. Logic, 20:115-118, 1955.

MVar

M. Marx and Y. Venema.
A modal logic of relations.
In E. Orlowska, editor, Memorial Volume for Elena Rasiowa, Studia Logica Library. Kluwer Academic Publishers, Dordrecht, to appear.

Pet90

P. Petkov, editor.
Mathematical logic, Proceedings of the Heyting 1988 summer school in Varna, Bulgaria. Plenum Press, Boston, 1990.

Sha88

V. Shavrukov.
The logic of relative interpretability over Peano arithmetic (in Russian).
Technical Report Report No.5, Stekhlov Mathematical Institute, Moscow, 1988.

Sha94

V. Shavrukov.
A smart child of Peano's.
The Notre Dame Journal of Formal Logic, 35:161-185, 1994.

Sve91

V. Svejdar.
Some independence results in interpretability logic.
Studia Logica, 50(1):29-38, 1991.

TMR53

A. Tarski, A. Mostowski, and R. Robinson.
Undecidable theories.
North-Holland, Amsterdam, 1953.

Vel85

F. Veltman.
Logic for conditionals.
PhD thesis, Department of Philosophy, University of Amsterdam, 1985.

Ver

R. Verbrugge.
Verzamelingen-Veltman frames en modellen.
Unpublished.

Vis84

A. Visser.
The provability logics of recursively enumerable theories extending Peano arithmetic at arbitrary theories extending Peano arithmetic.
Journal of Philosophical Logic, 13:97-113, 1984.

Vis89

A. Visser.
Peano's smart children: A provability logical study of systems with built-in consistency.
Notre Dame Journal of Formal Logic, 30:161-196, 1989.

Vis90

A. Visser.
Interpretability logic.
In [Pet90], pages 175-209, 1990.

Vis91

A. Visser.
The formalization of interpretability.
Studia Logica, 51:81-105, 1991.

Vis94

A. Visser.
Propositional combinations of ${\Sigma}$-sentences in Heyting's Arithmetic.
Logic Group Preprint Series 117, 1994.

Vis97

A. Visser.
An overview of interpretability logic.
In M. Kracht, M. de Rijke, and H. Wansing, editors, Advances in modal logic '96, pages 307-359. CSLI Publications, Stanford, CA, 1997.