Predicate provability logic with non-modalized quantifiers