de Rijke, M. (1990). A note on the interpretability logic of finitely axiomatized theories. (Report; No. ML-90-07). Institute for Language, Logic and Information, University of Amsterdam.
de Rijke, M. (1990). Bi-unary interpretability logic. (Report; No. X-90-12). Institute for Language, Logic and Information, University of Amsterdam.
de Rijke, M. (1990). Unary interpretability logic. (Report; No. ML-90-04). Institute for Language, Logic and Information, University of Amsterdam.