A note on the interpretability logic of finitely axiomatized theories
A note on the interpretability logic of finitely axiomatized theories / Maarten de Rijke