| 2023 | WoLLIC | Decidability of Modal Logics of Non-k-Colorable Graphs. | Ilya Shapirovsky |
| 2022 | AiML | Medvedev's logic and products of converse well orders. | Denis I. Saveliev, Ilya Shapirovsky |
| 2020 | AiML | Modal Logics with Transitive Closure: Completeness, Decidability, Filtration. | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
| 2019 | WoLLIC | Modal Logics of Finite Direct Powers of \omega Have the Finite Model Property. | Ilya Shapirovsky |
| 2018 | AiML | Truth-Preserving Operations on Sums of Kripke Frames. | Ilya Shapirovsky |
| 2016 | AiML | Local tabularity without transitivity. | Ilya Shapirovsky, Valentin B. Shehtman |
| 2014 | AiML | Filtration Safe Operations on Frames. | Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin |
| 2012 | AiML | On Modal Logics of Hamming Spaces. | Andrey Kudinov, Ilya Shapirovsky, Valentin B. Shehtman |
| 2010 | AiML | Simulation of Two Dimensions in Unimodal Logics. | Ilya Shapirovsky |
| 2008 | AiML | PSPACE-decidability of Japaridze's polymodal logic. | Ilya Shapirovsky |
| 2006 | AiML | Every world can see a Sahlqvist world. | Philippe Balbiani, Ilya Shapirovsky, Valentin B. Shehtman |
| 2006 | AiML | Downward-directed transitive frames with universal relations. | Ilya Shapirovsky |
| 2004 | AiML | On PSPACE-decidability in Transitive Modal Logic. | Ilya Shapirovsky |
| 2002 | AiML | Chronological Future Modality in Minkowski Spacetime. | Ilya Shapirovsky, Valentin B. Shehtman |