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

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

Number of views:
This page:1013
Abstract pages:1361
Full texts:393
References:202
Candidate of physico-mathematical sciences
E-mail:

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

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


Citations (Crossref Cited-By Service + Math-Net.Ru)

   2020
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  mathscinet

   2019
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

   2017
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

   2016
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

   2014
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

   2012
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

   2007
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. Filtrations of some pretransitive logics
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
April 22, 2024 18:30   
2. О финитной аппроксимируемости и сложности логик сумм шкал Крипке
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
May 24, 2021 18:30   
3. Локально конечные модальные алгебры и фильтрации моделей Крипке
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
August 28, 2019 17:00
4. Glivenko's theorem, finite height, and local finiteness
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
September 10, 2018 18:30
5. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
I. B. Shapirovsky
Seminars "Proof Theory" and "Logic Online Seminar"
July 10, 2017 16:30
6. Лексикографические произведения и суммы модальных логик
I. B. Shapirovsky
"Algorithmic problems in algebra and logic" (S.I.Adian seminar)
December 8, 2015 18:30
7. 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
8. Hamming metric and products of modal logics
I. B. Shapirovskii
Symposium on logic and computability "Logic and Computation Day"
June 7, 2013 16:15
9. 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
10. 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 to the website  Logotypes © Steklov Mathematical Institute RAS, 2024