Dr. Ilya B. Shapirovsky

Preprints

• Ilya Shapirovsky. Generalizations of the finite height criterion for local tabularity [arXiv]
• Ilya Shapirovsky, Vladislav Sliusarev. On pre-local tabularity above S4 × S4. [arXiv]
• Gabriel Agnew, Uzias Gutierrez-Hougardy, John Harding, Ilya Shapirovsky, Jackson West. On distance logics of Euclidean spaces. [arXiv]
• Ilya Shapirovsky, Vladislav Sliusarev. Locally tabular products of modal logics. [arXiv]

Publications

1. Andrey Kudinov, Ilya Shapirovsky. Two types of filtrations for wK4 and its relatives. Studia Logica, accepted, 2025. [arXiv]
2. Ilya Shapirovsky. Sufficient conditions for local tabularity of a polymodal logic. The Journal of Symbolic Logic, pages 1–26, 2025. Published online by Cambridge University Press: 27 January 2025. [DOI] [arXiv]
3. Ilya Shapirovsky. Decidability of modal logics of non-k-colorable graphs. In Helle Hvid Hansen, Andre Scedrov, and Ruy J.G.B. de Queiroz, editors, Logic, Language, Information, and Computation, pages 351–361, Cham, 2023. Springer Nature Switzerland. [DOI] [arXiv]
4. Daniel Rogozin and Ilya Shapirovsky. On decidable extensions of Propositional Dynamic Logic with converse. Journal of Applied Logics – IfCoLog Journal, 10(4):629--642, 2023. [arXiv]
5. Denis I. Saveliev and Ilya B. Shapirovsky. Medvedev's logic and products of converse well orders. In Advances in Modal Logic, volume 14, pages 681–696. College Publications, 2022. ISBN 978-1-84890-413-2. [PDF]
6. Ilya Shapirovsky. Satisfiability problems on sums of Kripke frames. ACM Trans. Comput. Logic, 23(3), 2022. 25 pages. [DOI] [arXiv]
7. Ilya Shapirovsky. Glivenko's theorem, finite height, and local tabularity. Journal of Applied Logics -- IfCoLog Journal, 8(8):2333--2347, 2021. [arXiv]
8. S. Kikot, I. Shapirovsky, and E. Zolin. Modal logics with transitive closure: completeness, decidability, filtration. In Advances in Modal Logic, volume 13, pages 369–388, 2020. ISBN 978-1-84890-341-8. [PDF]
9. Denis I. Saveliev and Ilya B. Shapirovsky. On modal logics of model-theoretic relations. Studia Logica, 108(5):989--1017, 2020. Published online: 07 December 2019. [DOI] [arXiv]
10. I.B. Shapirovsky. Modal logics of finite direct powers of ω have the finite model property. In Logic, Language, Information, and Computation, 29th International Workshop, WoLLIC 2019, Lecture Notes in Computer Science, pages 610–618, 2019. [DOI] [arXiv]
11. I.B. Shapirovsky. Truth-preserving operations on sums of Kripke frames. In Advances in Modal Logic, volume 12, pages 541–558. College Publications, 2018. ISBN 978-1848902558. [PDF]
12. I.B. Shapirovsky and V.B. Shehtman. Contemporary modal logic: between mathematics and computer science. In D.V. Zaitsev, editor, Contemporary logic: foundations, subject, and perpectives , pages 265 –305. Forum, 2018. In Russian. [PDF] [PDF (English)].
13. A.V. Kudinov and I.B. Shapirovsky. On partitioning Kripke frames of finite depth. Izvestiya: Mathematics, 81(3):134–159, 2017. [DOI] [PDF]
14. I.B. Shapirovsky and V.B. Shehtman. Local tabularity without transitivity. In Advances in Modal Logic , volume 11, pages 520–534. College Publications, 2016. ISBN 978-1-84890-201-5. [PDF]
15. A.V. Kudinov and I.B. Shapirovsky. Finite model property of modal logics of finite depth. Russian Mathematical Surveys, 71(1):164–166, 2016. [DOI] [PDF]
16. D. Gabbay, I. Shapirovsky, and V. Shehtman. Products of modal logics and tensor products of modal algebras. Journal of Applied Logic, 12(4):570--583, 2014. [DOI] [PDF]
17. S. Kikot, I. Shapirovsky, and E. Zolin. Filtration safe operations on frames. In Advances in Modal Logic, volume 10, pages 333–352, 2014. ISBN 978-1-84890-151-3. [PDF]
18. A. Kudinov, I. Shapirovsky, and V. Shehtman. On modal logics of Hamming spaces. In Advances in Modal Logic, volume 9, pages 395–410, London, 2012. College Publications. ISBN 978-1-84890-068-4. [PDF]
19. I. Shapirovsky. Simulation of two dimensions in unimodal logics. In Advances in Modal Logic, volume 8, pages 371–392, London, 2010. College Publications. ISBN 978-1-84890-013-4. [PDF]
20. I. Shapirovsky. PSPACE-decidability of Japaridze's polymodal logic. In Advances in Modal Logic, volume 7, pages 289–304, London, 2008. College Publications. ISBN 978-1-904987-68-0. [PDF]
21. I. Shapirovsky. Modal logics of some geometrical structures. Problems of Information Transmission, 43(3):255–262, 2007. [DOI] [PDF]
22. I. Shapirovsky. Modal logics of closed domains on Minkowski plane. Journal of Applied Non-Classical Logics , 17(3):283–316, 2007. [DOI] [PDF]
23. Ph. Balbiani, I. Shapirovsky, and V. Shehtman. Every world can see a Sahlqvist world. In Advances in Modal Logic, volume 6, pages 69–85. College Publications, 2006. ISBN 978-1-904987-20-8. [PDF]
24. I. Shapirovsky. Downward-directed transitive frames with universal relations. In Advances in Modal Logic, volume 6, pages 413–428. College Publications, 2006. ISBN 978-1-904987-20-8. [PDF]
25. I. Shapirovsky and V. Shehtman. Modal logics of regions and Minkowski spacetime. Journal of Logic and Computation , 15:559–574, 2005. [DOI] [PDF]
26. I. Shapirovsky. On PSPACE-decidability in transitive modal logic. In Advances in Modal Logic, volume 5, pages 269–287, London, 2005. College Publications. ISBN 1904987222. [PDF]
27. I. Shapirovsky and V. Shehtman. Chronological future modality in Minkowski spacetime. In Advances in Modal Logic, volume 4, pages 437–459, London, 2003. College Publications. ISBN 0-9542006-1-0. [PDF]