Search Results - Shapirovsky, Ilya

Sufficient conditions for local tabularity of a polymodal logic by Shapirovsky, Ilya B.

Get full text

Generalizations of The Finite Height Criterion for Local Tabularity by Shapirovsky, Ilya B.

Get full text

Two types of filtrations for $\mathrm{wK4}$ and its relatives by Kudinov, Andrey, Shapirovsky, Ilya

Get full text

Locally tabular products of modal logics by Shapirovsky, Ilya B., Sliusarev, Vladislav

Get full text

On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$ by Shapirovsky, Ilya B., Sliusarev, Vladislav V.

Get full text

On distance logics of Euclidean spaces by Agnew, Gabriel, Gutierrez-Hougardy, Uzias, Harding, John, Shapirovsky, Ilya, West, Jackson

Get full text