Résultats de la recherche - Shapirovsky, Ilya B.
- Résultat(s) 1 - 4 résultats de 4
-
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
Locally tabular products of modal logics Autoría: Shapirovsky, Ilya B., Sliusarev, Vladislav
Publié 2024Fuente: arXivTipo de material: PreprintAcceso al recurso -
4
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