Персоналии
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
 
Шапировский Илья Борисович

Публикаций: 9 (9)
в MathSciNet: 6 (6)
в zbMATH: 6 (6)
в Web of Science: 5 (5)
в Scopus: 4 (4)
Цитированных статей: 1
Цитирований в Web of Science: 1
Цитирований в Scopus: 1
Лекций и докладов: 9

Статистика просмотров:
Эта страница:637
Страницы публикаций:907
Полные тексты:243
Списки литературы:130
кандидат физико-математических наук
E-mail:

http://www.mathnet.ru/rus/person34573
Список публикаций на Google Scholar
https://zbmath.org/authors/?q=ai:shapirovsky.ilya-b
https://mathscinet.ams.org/mathscinet/MRAuthorID/752579
http://orcid.org/0000-0001-7434-5894

Список публикаций:
| научные публикации | по годам | по типам | по числу цит. в WoS | по числу цит. в Scopus | общий список |



   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;

   2017
3. А. В. Кудинов, И. Б. Шапировский, “О разбиениях шкал Крипке конечной высоты”, Изв. РАН. Сер. матем., 81:3 (2017), 134–159  mathnet  crossref  mathscinet  adsnasa  isi (цит.: 1)  elib; A. V. Kudinov, I. B. Shapirovsky, “Partitioning Kripke frames of finite height”, Izv. Math., 81:3 (2017), 592–617  crossref  mathscinet  isi (cited: 1)  elib  scopus (cited: 1)

   2016
4. А. В. Кудинов, И. Б. Шапировский, “О финитной аппроксимируемости модальных логик конечной глубины”, УМН, 71:1(427) (2016), 175–176  mathnet  crossref  mathscinet  zmath  adsnasa  isi  elib; A. Kudinov, I. Shapirovsky, “Finite model property of modal logics of finite depth”, Russian Math. Surveys, 71:1 (2016), 164–166  crossref  mathscinet  zmath  adsnasa  isi  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. И. Б. Шапировский, “О модальных логиках некоторых геометрических структур”, Пробл. передачи информ., 43:3 (2007), 97–104  mathnet  mathscinet  zmath  isi  elib; I. B. Shapirovskii, “On Modal Logics of Some Geometric Structures”, Problems Inform. Transmission, 43:3 (2007), 255–262  crossref  mathscinet  zmath  isi  scopus

Доклады и лекции в базе данных Math-Net.Ru
1. О финитной аппроксимируемости и сложности логик сумм шкал Крипке
И. Б. Шапировский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
24 мая 2021 г. 18:30   
2. Локально конечные модальные алгебры и фильтрации моделей Крипке
И. Б. Шапировский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
28 августа 2019 г. 17:00
3. Glivenko's theorem, finite height, and local finiteness
И. Б. Шапировский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
10 сентября 2018 г. 18:30
4. О финитной аппроксимируемости модальных логик конечных степеней натурального ряда
И. Б. Шапировский
Семинары отдела математической логики "Теория доказательств" и "Logic Online Seminar"
10 июля 2017 г. 16:30
5. Лексикографические произведения и суммы модальных логик
И. Б. Шапировский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
8 декабря 2015 г. 18:30
6. Об одном достаточном условии финитной аппроксимируемости модальных логик
И. Б. Шапировский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
14 октября 2014 г. 18:30
7. Hamming metric and products of modal logics
I. B. Shapirovskii
Симпозиум по логике и вычислимости «Logic and Computation Day»
7 июня 2013 г. 16:15
8. Модальные логики отношений, индуцированных расстоянием Хэмминга
И. Б. Шапировский
«Алгоритмические вопросы алгебры и логики» (семинар С.И.Адяна)
12 марта 2013 г. 18:30
9. Simulation of two dimensions in unimodal logics
Ilya Shapirovsky
Восьмая Международная конференция серии «Advances in Modal Logic» (AiML 2010)
24 августа 2010 г. 15:35   

Организации
 
Обратная связь:
 Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2022