Abstrakt
V článku je dokázána efektivní vlastnost disjunkce v modálních logikách K, K4, K4Grz, GL, T, S4, a S4Grz, uniformním a jednoduchým důkazem založeným na uniformní definici sekventového kalkulu pro zmíněné logiky. Jako důsledek dostaneme efektivní interpolaci ve zmíněných logikách.
Výsledky obsažené v článku jsou slabší než současně dosažené P. Hrubešem.