Glelb decides various provability logics and finds fixpoints for provabilty and interpretability logics.