Shapirovsky, Ilya Borisovich

Total publications: 9 (9)
in MathSciNet: 5 (5)
in zbMATH: 6 (6)
in Web of Science: 5 (5)
in Scopus: 4 (4)
Cited articles: 1
Citations in Scopus: 1
Presentations: 9

Number of views:
This page:597
Abstract pages:861
Full texts:188
Candidate of physico-mathematical sciences
List of publications on Google Scholar

Full list of publications:
| scientific publications | by years | by types | by times cited in WoS | by times cited in Scopus | common list |

1. S. Kikot, I. Shapirovsky, and E. Zolin, “Modal logics with transitive closure: completeness, decidability, filtration”, Advances in Modal Logic, ISBN 978-1-84890-341-8, 13, College publications, 2020, 369–388

2. Denis I. Saveliev, Ilya B. Shapirovsky, “On modal logics of model-theoretic relations”, Studia Logica, 108 (2019), 989–1017 , arXiv: 1804.09810  mathnet  crossref  mathscinet  isi  scopus;

3. A. V. Kudinov, I. B. Shapirovsky, “Partitioning Kripke frames of finite height”, Izv. Math., 81:3 (2017), 592–617  mathnet  crossref  crossref  mathscinet  adsnasa  isi  elib  elib  scopus (cited: 1)

4. A. Kudinov, I. Shapirovsky, “Finite model property of modal logics of finite depth”, Russian Math. Surveys, 71:1 (2016), 164–166  mathnet  crossref  crossref  mathscinet  zmath  adsnasa  isi  elib  elib  scopus
5. Ilya Shapirovsky, Valentin Shehtman, “Local tabularity without transitivity”, Proceedings of the 11th conference (AiML 2016), Budapest, Hungary, August 30 – September 2, Advances in Modal Logic, 11, London, College Publications, 2016, 520–534  mathnet  zmath

6. Dov Gabbay, Ilya Shapirovsky, Valentin Shehtman, “Products of modal logics and tensor products of modal algebras”, J. Appl. Log., 12:4 (2014), 570–583  mathnet  crossref  zmath
7. Stanislav Kikot, Ilya Shapirovsky, Evgeny Zolin, “Filtration safe operations on frames”, Proceedings of the 10th conference (AiML 2014), Groningen, Netherlands, August 5–8, Advances in Modal Logic, 12, College Publications, London, 2014, 333–352  mathnet  mathscinet  zmath

8. Andrey Kudinov, Ilya Shapirovsky, Valentin Shehtman, “On modal logics of Hamming spaces”, Proceedings of the 9th conference (AiML 2012), Copenhagen, Denmark, August 22–25, Advances in Modal Logic, 9, College Publications, London, 2012, 395–410  mathnet  zmath  isi

9. I. B. Shapirovskii, “On Modal Logics of Some Geometric Structures”, Problems Inform. Transmission, 43:3 (2007), 255–262  mathnet  crossref  mathscinet  zmath  isi  elib  scopus

Presentations in Math-Net.Ru
1. О финитной аппроксимируемости и сложности логик сумм шкал Крипке
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
May 24, 2021 18:30   
2. Локально конечные модальные алгебры и фильтрации моделей Крипке
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
August 28, 2019 17:00
3. Glivenko's theorem, finite height, and local finiteness
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
September 10, 2018 18:30
4. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
July 10, 2017 16:30
5. Лексикографические произведения и суммы модальных логик
I. B. Shapirovsky
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
December 8, 2015 18:30
6. On a sufficient condition for the finite approximability of modal logics
I. B. Shapirovskii
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
October 14, 2014 18:30
7. Hamming metric and products of modal logics
I. B. Shapirovskii
Symposium on logic and computability "Logic and Computation Day"
June 7, 2013 16:15
8. Modal logics of relations induced by Hamming distance
I. B. Shapirovskii
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
March 12, 2013 18:30
9. Simulation of two dimensions in unimodal logics
Ilya Shapirovsky
The eighth International сonference "Advances in Modal Logic" (AiML 2010)
August 24, 2010 15:35   

Contact us:
 Terms of Use  Registration  Logotypes © Steklov Mathematical Institute RAS, 2021