Modal logics of finite direct powers of $\omega$ have the finite model property

Ilya Shapirovsky

Let $({\omega }^n,⪯)$ be the direct power of $n$ instances of $(\omega ,\le )$, natural numbers with the standard ordering, $({\omega }^n,\prec )$ the direct power of $n$ instances of $(\omega ,<)$. We s…