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. https://arxiv.org/pdf/2011.02205.pdf
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. Загрузить (516.9 KB)
Современная модальная логика: между математикой и информатикой. // В кн. Современная логика: основания, предмет и перспективы развития. Сборник научных статей. //Ред. Д.~ Зайцев. М.: ИД «ФОРУМ», 2018. -- С. 265--305.
Кудинов А. В., Шапировский И. Б. О финитной аппроксимируемости предтранзитивных логик конечной глубины // Успехи математических наук. — 2016. — Т. 71, № 1. — С. 164–166.
I. Shapirovsky and V. Shehtman. Local tabularity without transitivity. In Advances in Modal Logic,
volume 11, pages 520–534. College Publications, 2016. ISBN 978-1-84890-201-5. Загрузить (424.5 KB)
Philippe Balbiani and Ilya Shapirovsky. Complete axiomatizations of lexicographic sums and products
of modal logics. In 7th International Conference on Topology, Algebra and Categories in Logic (TACL
2015), pages 24–26, 2015.
Ilya Shapirovsky and Evgeny Zolin. On completeness of logics enriched with transitive closure modality.
In 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), pages
255–257, 2015.
Stanislav Kikot, Ilya Shapirovsky, and Evgeny Zolin. Filtration safe operations on frames. In Advances in Modal Logic 10, invited and
contributed papers from the tenth conference on "Advances in Modal Logic," held in Groningen, The Netherlands, August 5-8, 2014, pages 333-352, 2014. Перейти к публикации
Products of Modal Logics and Tensor Products of Modal Algebras. Products of modal logics and tensor products of modal algebras. Journal of Applied Logic 12 (2014), pp. 570-583
Tensor products of modal logics. In Topology, Algebra and Categories in Logic, TACL 2013, pages 198–202. Vanderbilt University, 2013. Перейти к публикации
Andrey Kudinov, Ilya Shapirovsky and Valentin Shehtman. On Modal Logics of Hamming Spaces. In Advances in Modal Logic, volume 9, pages 395-410, London, 2012. King"s College Publications.
Simulation of two dimensions in unimodal logics. In Advances in Modal Logic, volume 8, pages 371-392 , London, 2010. King"s College Publications. Перейти к публикации
Некоторые примеры модальных логик без конечной аксиоматики. Сборник трудов конференции Информационные технологии и системы" (ИТиС"10) стр. 258-262, Москва, 2010.
Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик. Сборник статей конференции Информационные технологии и системы" (ИТиС"09) стр. 411-415, Москва, 2009
PSPACE-decidability of Japaridze"s Polymodal Logic. Advances in Modal Logic - Volume 7, pages 289-304. King"s College Publications, 2008. Перейти к публикацииЗагрузить (455.8 KB)
Every world can see a Sahlqvist world. In I. Hodkinson and Y. Venema, editors, Advances in Modal Logic - Volume 6, pages 69-85. King"s College Publications, 2006. (with Ph. Balbiani and V. Shehtman)
Downward-directed transitive frames with universal relations. In I. Hodkinson and Y. Venema, editors, Advances in Modal Logic - Volume 6, pages 413-428 King"s College Publications, 2006. Перейти к публикацииЗагрузить (210.6 KB)
On PSPACE-decidability in transitive modal logic. In: Advances in Modal Logic, Volume 5. R. Schmidt et al. (eds.). King"s College Publications, 2005, 269-287 Загрузить (243 KB)
Chronological future modality in Minkowski spacetime. Advances in Modal Logic, Volume 4, 437-459. King"s College Publications, 2003. (with V. Shehtman) Перейти к публикацииЗагрузить (417.3 KB)