2021 |
Shapirovsky I., Ilya B. Shapirovsky. Satisfiability problems on sums of Kripke frames. https://arxiv.org/abs/2012.15347
|
2020 |
Kikot S., Shapirovsky I., Zolin E., S. Kikot, I. Shapirovsky, and E. Zolin. Modal logics with transitive closure: completeness,
decidability, filtration. In Advances in Modal Logic, volume 13, pages 369388, 2020. ISBN
978-1-84890-341-8. https://arxiv.org/pdf/2011.02205.pdf
|
I. D., Shapirovsky I., D.I. Saveliev and I.B. Shapirovsky. On modal logics of model-theoretic relations. Studia Logica}, 108(5):989--1017. ArXiv: https://arxiv.org/abs/1804.09810. http://iitp.ru/https://arxiv.org/abs/1804.09810
|
2019 |
Shapirovsky I., Modal logics of finite direct powers of $\omega$ have the finite
model property. arXiv: https://arxiv.org/abs/1903.04614, 2019.
http://iitp.ru/https://arxiv.org/abs/1903.04614
|
2018 |
Shapirovsky I., I.B. Shapirovsky. Glivenkos theorem, finite height, and local tabularity. arXiv: https://arxiv.org/abs/1806.06899 http://iitp.ru/https://arxiv.org/abs/1806.06899
|
Shapirovsky I., I.B. Shapirovsky. Truth-preserving operations on sums of Kripke frames. In Advances in Modal Logic, volume 12, pages 541558. College Publications, 2018. ISBN 978-1848902558.
|
Shapirovsky I., Shehtman V., 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. Russian.
|
2017 |
Kudinov A., Shapirovsky I., A.V. Kudinov and I.B. Shapirovsky. On partitioning Kripke frames of finite depth. Izvestiya: Mathematics, 81(3), 2017. In press.
|
2016 |
Saveliev D.I., Shapirovsky I., D.I. Saveliev and I.B. Shapirovsky. On modal logic of submodels. In 11th Advances in Modal Logic,
Short Papers, pages 115119, 2016.
|
Kudinov A., Shapirovsky I., A.V. Kudinov and I.B. Shapirovsky. Finite model property of modal logics of finite depth. Russian
Mathematical Surveys, 71(1):164166, 2016.
|
Shapirovsky I., Shehtman V., I. Shapirovsky and V. Shehtman. Local tabularity without transitivity. In Advances in Modal Logic,
volume 11, pages 520534. College Publications, 2016. ISBN 978-1-84890-201-5.
|
2015 |
Balbiani Philippe, Shapirovsky I., 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 2426, 2015.
|
Zolin E.E., Shapirovsky I., 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
255257, 2015.
|
2014 |
Kikot S., Shapirovsky I., Zolin Evgeny, 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. http://www.aiml.net/volumes/volume10/Kikot-Shapirovsky-Zolin.pdf
|
Gabbay D., Shapirovsky I., Shehtman V.B., 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
|
2013 |
Shapirovsky I., Shehtman V.B., Tensor products of modal logics. In Topology, Algebra and Categories in Logic, TACL 2013, pages 198202. Vanderbilt University, 2013. http://www.math.vanderbilt.edu/~tacl2013/Proceedings%20July%2026,%202013.pdf
|
2012 |
Kudinov A., Shapirovsky I., Shehtman V., 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.
|
2010 |
Shapirovsky I., Ilya Shapirovsky: Simulation of Two Dimensions in Unimodal Logics. Advances in Modal Logic 2010: 371-391 http://www.aiml.net/volumes/volume8/Shapirovsky.pdf
|
2008 |
Shapirovsky I., PSPACE-decidability of Japaridze"s Polymodal Logic. Advances in Modal Logic - Volume 7, pages 289-304. King"s College Publications, 2008. http://www.aiml.net/volumes/volume7/Shapirovsky.pdf
|
2007 |
Shapirovsky I., Modal logics of closed domains on Minkowski plane. Journal of Applied Non-Classical Logics. Volume 17. No. 3/2007, 397-414.
|
Shapirovsky I., Modal logics of some geometrical structures. Problems of Information Transmission. Volume 43, Issue 3, 2007. 255 262.
|
2006 |
Balbiani Ph., Shapirovsky I., Shehtman V., 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)
|
Shapirovsky I., 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. http://www.aiml.net/volumes/volume6/Shapirovsky.ps
|
2005 |
Shapirovsky I., Shehtman V.B., Modal logics of regions and Minkowski spacetime. J Logic Computation 2005 15: 559-574.
|
Shapirovsky I., 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
|
2002 |
Shapirovsky I., Shehtman V.B., Chronological future modality in Minkowski spacetime. Advances in Modal Logic, Volume 4, 437-459. King"s College Publications, 2003. (with V. Shehtman) http://www.aiml.net/volumes/volume4/Shapirovsky-Shehtman.ps
|