de Rijke, M. (1991). A note on the interpretability logic of finitely axiomatized theories. Studia Logica, 50(50), 241-250.
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). The modal logic of inequality. (Report; No. LP-90-15). 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.
