Modal matters in interpretability logics door