ИСТИНА

Шапировский Илья Борисович

Соавторы: Шехтман В.Б., Кудинов А.В., Золин Е.Е., Кикоть С.П., Balbiani P., Gabbay D.

16 статей, 6 докладов на конференциях, 3 тезисов докладов, 3 НИР, 1 диссертация, 2 дипломные работы, 3 учебных курса

Количество цитирований статей в журналах по данным Web of Science: 9, Scopus: 26

IstinaResearcherID (IRID): 7708103

Деятельность

• Статьи в журналах

  • 
    • 2014 Products of modal logics and tensor products of modal algebras
    • Gabbay Dov M., Shapirovsky Ilya, Shehtman Valentin
    • в журнале Journal of Applied Logic, издательство Elsevier BV (Netherlands), том 12, № 4, с. 570-583 DOI
  • 
    • 2005 Modal Logics of Regions and Minkowski Spacetime
    • Shapirovsky Ilya, Shehtman Valentin
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom), том 15, № 4, с. 559-574 DOI

• Статьи в сборниках

  • 
    • 2020 Modal logics with transitive closure: Completeness, decidability, filtration
    • Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 13, с. 369-388
  • • 2018 Truth-preserving operations on sums of Kripke frames
    • Shapirovsky Ilya
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 12, с. 541-558
  • • 2018 Современная модальная логика: между математикой и информатикой
    • Шапировский И.Б., Шехтман В.Б.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 265-305
  • • 2016 Local tabularity without transitivity
    • Shapirovsky I., Shehtman V.
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 11, с. 520-534
    • редактор Беклемишев Лев Дмитриевич
  • 
    • 2014 Filtration Safe Operations on Frames
    • Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publication London, том 10, с. 333-352
  • • 2014 О полноте предтранзитивных логик конечной глубины
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’14), место издания ИППИ РАН Москва, с. 534-542
  • • 2012 On Modal Logics of Hamming Spaces
    • Kudinov Andrey, Shapirovsky Ilya, Shehtman Valentin
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 9, с. 395-410
  • • 2011 Финитная аппроксимируемость предтранзитивных аналогов S5
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’11), место издания ИППИ РАН Москва, с. 353-356
  • • 2010 Некоторые примеры модальных логик без конечной аксиоматики
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’10), место издания ИППИ РАН Москва, с. 258-262
  • • 2009 Финитная аппроксимируемость обобщенно транзитивных симметричных модальных логик
    • Кудинов А.В., Шапировский И.Б.
    • в сборнике Сборник статей конференции “Информационные технологии и системы” (ИТиС’09), место издания ИППИ РАН Москва, с. 411-415
  • • 2008 PSpace-decidability of Japaridze's polymodal logic
    • Shapirovsky Ilya
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 7, с. 289-304
  • 
    • 2006 Every World Can See a Sahlqvist World
    • Balbiani Philippe, Shapirovsky Ilya, Shehtman Valentin
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания College Publications London, том 6, с. 69-85
  • • 2004 On PSpace-decidability in transitive modal logic
    • Shapirovsky Ilya
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания King’s College Publications London, том 5, с. 269-287
  • • 2002 Chronological Future Modality in Minkowski Spacetime
    • Shapirovsky Ilya, Shehtman Valentin
    • в сборнике Advances in Modal Logic, серия Advances in Modal Logic, место издания King's College Publications London, том 4, с. 437-460

• Доклады на конференциях

  • • 2020 Модальные логики с оператором транзитивного замыкания (Устный)
    • Авторы: Золин Евгений Евгеньевич, Кикоть Станислав, Шапировский Илья
    • Ломоносовские чтения 2020. Секция математики, МГУ имени М.В. Ломоносова, Россия, 21-28 октября 2020
  • • 2020 Modal logics with transitive closure: Completeness, decidability, filtration (Устный)
    • Авторы: Kikot Stanislav, Shapirovsky Ilya, Zolin Evgeny
    • Advances in Modal Logic (AiML 2020), Helsinki, Финляндия, 24-28 августа 2020
  • • 2019 Bisimulation and filtration in modal logic (Устный)
    • Авторы: Valentin Shehtman, Ilya Shapirovsky
    • 31st European Summer School in Logic, Language and Information, Рига, Латвия, 5-16 августа 2019
  • • 2013 Hamming metric and products of modal logics (Устный)
    • Автор: Shapirovskii I.B.
    • Logic and Computation Day, Математический институт им. В.А.Стеклова РАН, Россия, 7 июня 2013
  • • 2013 Клетчатые произведения модальных логик (Устный)
    • Авторы: Шапировский Илья Борисович, Шехтман Валентин Борисович
    • Ломоносовские чтения - 2013. Секция математики, Москва, МГУ, механико-математический факультет, Россия, 15-26 апреля 2013
  • • 2003 О модальных логиках пространства Минковского (Устный)
    • Авторы: Шехтман В.Б., Шапировский И.Б.
    • Ломоносовские чтения - 2003. Секция математики, МГУ им. М.В. Ломоносова, механико-математический факультет, Россия, 18-25 апреля 2003

• Тезисы докладов

  • 
    • 2015 On Completeness of Logics Enriched with Transitive Closure Modality
    • Shapirovsky Ilya, Zolin Evgeny
    • в сборнике 7th International Conference on Topology, Algebra and Categories in Logic (TACL 2015), серия TACL, тезисы, с. 1-3
  • • 2013 Tensor Products of Modal Logics
    • Shapirovsky Ilya, Shehtman Valentin
    • в сборнике 6th International Conference on Topology, Algebra and Categories in Logic (TACL 2013), серия TACL, тезисы, с. 199-203
  • • 2011 Finite model property of pretransitive analogs of S5
    • Kudinov Andrey, Shapirovsky Ilya
    • в сборнике 5th International Conference on Topology, Algebra and Categories in Logic (TACL 2011), серия TACL, тезисы, с. 261-264

• НИРы

  • • 1 января 2016 - 31 декабря 2018 Теоретико-модельные и алгоритмические проблемы в модальных и алгебраических логиках
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Владимиров А.Г., Золин Е.Е., Кудинов А.В., Осипов И.И., Пентус М.Р., Савельев Д.И., Скворцов Д.П., Чижов А.С., Шапировский И.Б.
  • • 1 января 2014 - 31 декабря 2015 Исследование моделей неклассических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шапировский И.Б. Участники НИР: Золин Е.Е., Кикоть С.П., Кудинов А.В., Осипов И.И., Рыбаков М.Н., Савельев Д.И., Скворцов Д.П., Смелянский Д.М., Чагров А.В.
  • • 1 января 2011 - 31 декабря 2013 Исследование разрешимых фрагментов модальных и алгебраических логик
    • Негосударственное образовательное учреждение Московский Центр непрерывного математического образования
    • Руководитель: Шехтман В.Б. Участники НИР: Золин Е.Е., Измайлов М.М., Кикоть С.П., Кудинов А.В., Осипов И.И., Пентус М.Р., Сорокин А.А., Чижов А.С., Шапировский И.Б.

• Диссертация

  • • 2007 Алгоритмические свойства модальных логик информационных систем
    • Кандидатская диссертация по специальности 01.01.06 - Математическая логика, алгебра и теория чисел (физ.-мат. науки)
    • Автор: Шапировский Илья Борисович
    • Научный руководитель: Шехтман Валентин Борисович, д.ф.-м.н., доц., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.84 при МГУ имени М.В. Ломоносова, Механико-математический факультет
    • Организация, в которой выполнялась работа: Институт проблем передачи информации им. А.А.Харкевича РАН
    • Ведущая организация: Математический институт им. В.А.Стеклова РАН
    • Оппоненты: Пентус Мати Рейнович, Рыбаков Михаил Николаевич

• Руководство дипломными работами

  • • 2014 Финитная аппроксимируемость некоторых модальных логик, аксиоматизируемых псевдо-транзитивными формулами
    • Научные руководители: Шапировский Илья Борисович, Шехтман Валентин Борисович
    • Автор: Заплетин Андрей Максимович (Специалист)
  • • 2014 Алгоритм проверки выполнимости модальных формул на порядковых суммах шкал Крипке
    • Научные руководители: Шехтман Валентин Борисович, Шапировский Илья Борисович
    • Автор: Журавлёв Александр Алексеевич (Специалист)

• Авторство учебных курсов

  • • 2015 Модели неклассических логик
    • Авторы: Золин Е.Е., Шапировский И.Б.
  • • 2014 Модальная логика и ее приложения
    • Авторы: Золин Е.Е., Шапировский И.Б.
  • • 2010 Модальная и алгебраическая логика
    • Авторы: Пентус М.Р., Шехтман В.Б., Шапировский И.Б.