Axiomatizing provable 1-provability

We consider the following question for a pair of theories T and S: for which sentences their 1-provability in S is provable in T? The set of all such sentences forms a theory extending S. We give an axiomatization of this theory for the fragments of PA in terms of iterated local reflection schema over S.