RUS  ENG JOURNALS   PEOPLE   ORGANISATIONS   CONFERENCES   SEMINARS   VIDEO LIBRARY   PACKAGE AMSBIB
 
Shapirovsky, Ilya Borisovich

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

Number of views:
This page:555
Abstract pages:811
Full texts:160
References:126
Candidate of physico-mathematical sciences
E-mail:

http://www.mathnet.ru/eng/person34573
List of publications on Google Scholar
http://zbmath.org/authors/?q=ai:shapirovsky.ilya-b
https://mathscinet.ams.org/mathscinet/MRAuthorID/752579
http://orcid.org/0000-0001-7434-5894

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



   2019
1. Denis I. Saveliev, Ilya B. Shapirovsky, “On modal logics of model-theoretic relations”, Studia Logica, 2019, 1–29 (Published online) , arXiv: 1804.09810  mathnet  crossref  isi  scopus (cited: 1); (Published online)

   2017
2. 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)

   2016
3. 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
4. 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

   2014
5. 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
6. 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

   2012
7. 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

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

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