Search Results - Shapirovsky, Ilya

  • Showing 1 - 6 results of 6
Refine Results
  1. 1
    Cover Image

    Sufficient conditions for local tabularity of a polymodal logic Autoría: Shapirovsky, Ilya B.

    Published 2022
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  2. 2
    Cover Image

    Generalizations of The Finite Height Criterion for Local Tabularity Autoría: Shapirovsky, Ilya B.

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  3. 3
    Cover Image

    Two types of filtrations for $\mathrm{wK4}$ and its relatives Autoría: Kudinov, Andrey, Shapirovsky, Ilya

    Published 2023
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  4. 4
    Cover Image

    Locally tabular products of modal logics Autoría: Shapirovsky, Ilya B., Sliusarev, Vladislav

    Published 2024
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  5. 5
    Cover Image

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

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:
  6. 6
    Cover Image

    On distance logics of Euclidean spaces Autoría: Agnew, Gabriel, Gutierrez-Hougardy, Uzias, Harding, John, Shapirovsky, Ilya, West, Jackson

    Published 2025
    Fuente: arXiv
    Tipo de material: Preprint
    Acceso al recurso
    Enlace del recurso

    Save to List
    Saved in:

Search Tools: