Temporal logic of linearly ordered $\alpha$-spaces

Using the language of temporal logic, we construct a decidable calculus $L^*\alpha$ and prove that the calculus is complete w.r.t. the class of all strictly linearly ordered $\alpha$-frames.