Provability Logic with Operations on Proofs