Decidable and enumerable predicate logics of provability