Search Results - Shapirovsky, Ilya
- Showing 1 - 6 results of 6
-
1
Sufficient conditions for local tabularity of a polymodal logic Autoría: Shapirovsky, Ilya B.
Published 2022Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Generalizations of The Finite Height Criterion for Local Tabularity Autoría: Shapirovsky, Ilya B.
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Two types of filtrations for $\mathrm{wK4}$ and its relatives Autoría: Kudinov, Andrey, Shapirovsky, Ilya
Published 2023Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Locally tabular products of modal logics Autoría: Shapirovsky, Ilya B., Sliusarev, Vladislav
Published 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
5
On pre-local tabularity above $\mathrm{S4}\times \mathrm{S4}$ Autoría: Shapirovsky, Ilya B., Sliusarev, Vladislav V.
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
6
On distance logics of Euclidean spaces Autoría: Agnew, Gabriel, Gutierrez-Hougardy, Uzias, Harding, John, Shapirovsky, Ilya, West, Jackson
Published 2025Fuente: arXivTipo de material: PreprintAcceso al recurso