Risultati della ricerca - Shapirovsky, Ilya B.
- Mostra 1 - 4 risultati su 4
-
1
Sufficient conditions for local tabularity of a polymodal logic Autoría: Shapirovsky, Ilya B.
Pubblicazione 2022Fuente: arXivTipo de material: PreprintAcceso al recurso -
2
Generalizations of The Finite Height Criterion for Local Tabularity Autoría: Shapirovsky, Ilya B.
Pubblicazione 2025Fuente: arXivTipo de material: PreprintAcceso al recurso -
3
Locally tabular products of modal logics Autoría: Shapirovsky, Ilya B., Sliusarev, Vladislav
Pubblicazione 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.
Pubblicazione 2025Fuente: arXivTipo de material: PreprintAcceso al recurso