1. R. de Jonge, IL‐modellen en bisimulaties (in Dutch). Preprint X‐2004‐06, ILLC, Amsterdam, 2004. Available at http://www.illc.uva.nl/Publications/ResearchReports/X‐2004‐06.text.pdf.
2. D. de Jongh, and F. Veltman, Provability logics for relative interpretability. In: Mathematical Logic, Proceedings of the 1988 Heyting Conference (P. P. Petkov, ed.), pp. 31–42 (Plenum Press, 1990).
3. E. Goris, and J. Joosten, Modal matters in interpretability logic. Logic Group Preprint Series 226, Department of Philosophy, University of Utrecht, 2004. Available at http://www.phil.uu.nl/preprints/preprints/PREPRINTS/preprint226.pdf.
4. Provability interpretations of modal logic;Solovay;Israel J. Mathematics,1976
5. R. Verbrugge, Generalized Veltman frames and models. Manuscript, Amsterdam, 1992.