Abstrakt
Disertace se zabývá interpolací v modálních výrokových logikách z hlediska teorie důkazů. Zaměřuje se na dvě interpolační vlastnosti - uniformní interpolaci a efektivní interpolaci.
Hlavní výsledek je konstruktivní důkaz uniformní interpolační věty v logikách dokazatelnisti GL a Grz.