Vladislav V. Sliusarev

collaborators

2 papers

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…

On pre-local tabularity above S4×S4

Locally tabular products of modal logics

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