1. F. Montagna, 1984, Provability in finite subtheories of PA and Relative Interpretability: a Modal Investigation, Rapporto Matematico
118, Dipartimento di Matematica, Universita di Siena.
2. V. Švejdar, 1983, Modal Analysis of generalized Rosser sentences, Journal of Symbolic Logic
48, p. 986–999.
3. C. Smoryński, 1985, Modal Logic and Self-reference, Springer-Verlag, New York
4. A. Visser, 1986, Peano’s Smart Children, a provability-logical study of systems with built-in consistency, Logic Group Preprint Series No. 14, Department of Philosophy, University of Utrecht, to be published in The Notre Dame Journal of Formal Logic.
5. A. Visser, 1988P, Preliminary Notes on Interpretability Logic, Logic Group Preprint Series No. 29, Department of Philosophy, University of Utrecht.