We investigate pre-local tabularity in normal extensions of the logic S4 S4. We show that there are exactly four pre-locally tabular logics in normal extensions of products of finite height, and that every non-locally tabular logic in this family is contained in one of them. We also give an axiomatic criterion of local tabularity above the logic of products with Noetherian skeletons. Then we construct examples of pre-locally tabular extensions of S4 S4 outside this class. In particular, we describe pre-locally tabular bimodal logics with the converse and universal modalities.
Shapirovsky et al. (Wed,) studied this question.