Временная логика линейно упорядоченных $\alpha$-пространств

В языке временной логики строится разрешимое исчисление $L^*\alpha$ и доказывается, что оно полно относительно класса всех строго линейно упорядоченных $\alpha$-шкал.