Résultats de la recherche - Shapirovsky, Ilya
- Résultat(s) 1 - 6 résultats de 6
-
1
Sufficient conditions for local tabularity of a polymodal logic Autoría: Shapirovsky, Ilya B.
Publié 2022Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Generalizations of The Finite Height Criterion for Local Tabularity Autoría: Shapirovsky, Ilya B.
Publié 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Two types of filtrations for $\mathrm{wK4}$ and its relatives Autoría: Kudinov, Andrey, Shapirovsky, Ilya
Publié 2023Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
Locally tabular products of modal logics Autoría: Shapirovsky, Ilya B., Sliusarev, Vladislav
Publié 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.
Publié 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
Publié 2025Fuente: arXivTipo de material: PreprintAcceso al recurso