Modal logics of $\alpha$-spaces

Polymodal logics based on $\alpha$-spaces are considered. Polymodal calculi are introduced which are correct with respect to $\alpha$-frames. We prove that these calculi have the finite model property.