1 problem

Let $n$ be finite, and let ${\operatorname{ILog}}(\omega^n,\preceq)$ denote the intermediate logic of the frame $(\omega^n,\preceq)$. Local finiteness claim. For all finite $n$, ……