Chronological Future Modality in Minkowski Spacetime. - Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2002)

On PSPACE-decidability in Transitive Modal Logic. - Ilya Shapirovsky (Advances in Modal Logic, 2004)

Modal Logics of Regions and Minkowski Spacetime. - Ilya Shapirovsky; Valentin B. Shehtman (J. Log. Comput., 2005)

Every world can see a Sahlqvist world. - Philippe Balbiani; Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2006)

Downward-directed transitive frames with universal relations. - Ilya Shapirovsky (Advances in Modal Logic, 2006)

Modal logics of closed domains on Minkowski plane. - Ilya Shapirovsky (J. Appl. Non Class. Logics, 2007)

Modal logics of some geometrical structures. - Ilya Shapirovsky (Probl. Inf. Transm., 2007)

PSPACE-decidability of Japaridze's polymodal logic. - Ilya Shapirovsky (Advances in Modal Logic, 2008)

Simulation of Two Dimensions in Unimodal Logics. - Ilya Shapirovsky (Advances in Modal Logic, 2010)

On Modal Logics of Hamming Spaces. - Andrey Kudinov; Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2012)

Tensor products of modal logics. - Ilya Shapirovsky; Valentin B. Shehtman (TACL, 2013)

Filtration Safe Operations on Frames. - Stanislav Kikot; Ilya Shapirovsky; Evgeny Zolin (Advances in Modal Logic, 2014)

Products of modal logics and tensor products of modal algebras. - Dov M. Gabbay; Ilya Shapirovsky; Valentin B. Shehtman (J. Appl. Log., 2014)

Local tabularity without transitivity. - Ilya Shapirovsky; Valentin B. Shehtman (Advances in Modal Logic, 2016)

Truth-Preserving Operations on Sums of Kripke Frames. - Ilya Shapirovsky (Advances in Modal Logic, 2018)

Modal Logics of Finite Direct Powers of omega Have the Finite Model Property. - Ilya Shapirovsky (WoLLIC, 2019)

Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. - Stanislav Kikot; Ilya Shapirovsky; Evgeny Zolin (AiML, 2020)

On Modal Logics of Model-Theoretic Relations. - Denis I. Saveliev; Ilya Shapirovsky (Stud Logica, 2020)

Glivenko's Theorem, Finite Height, and Local Tabularity. - Ilya B. Shapirovsky (FLAP, 2021)

Medvedev's logic and products of converse well orders. - Denis I. Saveliev; Ilya Shapirovsky (AiML, 2022)

Satisfiability Problems on Sums of Kripke Frames. - Ilya Shapirovsky (ACM Trans. Comput. Log., 2022)

Decidability of Modal Logics of Non-k-Colorable Graphs. - Ilya Shapirovsky (WoLLIC, 2023)

On Decidable Extensions of Propositional Dynamic Logic with Converse. - Daniel Rogozin; Ilya Shapirovsky (FLAP, 2023)

Locally tabular products of modal logics. - Ilya B. Shapirovsky; Vladislav Sliusarev (CoRR, 2024)

Sufficient conditions for Local Tabularity of a Polymodal Logic. - Ilya B. Shapirovsky (J. Symb. Log., 2025)