Abstract
The thesis investigates interpolation properties in modal propositional logics from the proof-theoretical point of view. It concentrates on two of them - Uniform interpolation and Feasible interpolation.
Main result is a proof-theoretic constructive proof of the former in provability logics GL and Grz.