I B Shapirovsky

collaborators

3 papers

math.LO2026

Generalizations of The Finite Height Criterion for Local Tabularity

Ilya B. Shapirovsky

It is well known that for transitive unimodal logics, finite height is both necessary and sufficient for local tabularity. It is also well known that for intermediate logics, finit…

math.LO2025

On pre-local tabularity above $S4 \times S4$

Ilya B. Shapirovsky, Vladislav V. Sliusarev

We investigate pre-local tabularity in normal extensions of the logic $S4 \times S4$ . We show that there are exactly four pre-locally tabular logics in normal exte…

math.LO2025

Locally tabular products of modal logics

Ilya B. Shapirovsky, Vladislav Sliusarev

In the product $L_{1} \times L_{2}$ of two Kripke complete consistent logics, local tabularity of $L_{1}$ and $L_{2}$ is necessary for local tabularity of $L_{1} \times L_{2}$ . However, it is no…

Generalizations of The Finite Height Criterion for Local Tabularity

On pre-local tabularity above S4×S4

Locally tabular products of modal logics

On pre-local tabularity above $S4 \times S4$