ИСТИНА

Григорьев Олег Михайлович пользователь ответственный

МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики, доцент, с 1 сентября 2004

кандидат философских наук с 2004 года

МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики, ответственный по системе

Соавторы: Шангин В.О., Зайцев Д.В., Петрухин Я.И., Беликов А.А., Болотов А.Е., Basso A., Bimbó K., Mruczek-Nasieniewska K., Nasieniewski M., Бащуковски А., Урбанский М.

23 статьи, 1 книга, 19 докладов на конференциях, 13 тезисов докладов, 6 НИР, 6 членств в редколлегиях сборников, 12 членств в программных комитетах, 1 диссертация, 5 дипломных работ, 14 учебных курсов

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

IstinaResearcherID (IRID): 833912

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

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

  • • 2023 Axiomatizing a Minimal Discussive Logic
    • Grigoriev Oleg, Nasieniewski Marek, Mruczek-Nasieniewska Krystyna, Petrukhin Yaroslav, Vasily Shangin
    • в журнале Studia Logica, издательство Springer Nature (Switzerland), с. 1-41 DOI
  • 
    • 2022 Basic Four-Valued Systems of Cyclic Negations
    • Grigoriev O., Zaitsev D.
    • в журнале Bulletin of the section of logic, том 51, № 4, с. 507-533 DOI
  • • 2022 Basic modal congruent and monotonic multilattice logics
    • Grigoriev Oleg, Petrukhin Yaroslav
    • в журнале Journal of Logic and Computation, издательство Oxford University Press (United Kingdom) DOI
  • • 2022 Towards Relevant Multilattice Logic
    • Grigoriev O.M., Petrukhin Y.I.
    • в журнале Интеллектуальные системы. Теория и приложения (ранее: Интеллектуальные системы по 2014, № 2, ISSN 2075-9460), издательство [б.и.] (М.), том 26, № 1, с. 407-410
  • 
    • 2021 Modal multilattice logics with Tarski, Kuratowski, and Halmos operators
    • Grigoriev Oleg, Petrukhin Yaroslav
    • в журнале Logic and Logical Philosophy, том 30, № 3, с. 385-415 DOI
  • • 2021 Системы временной логики I: моменты, истории, деревья
    • Григорьев О.М.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 27, № 2, с. 153-184 DOI
  • 
    • 2019 Logic of Bipartite Truth with Uncertainty Dimension
    • Grigoriev O.M.
    • в журнале Journal of Applied Logics - IfCoLoG Journal of Logics and their Applications, издательство College Publications (United States), том 6, № 2, с. 291-319
  • 
    • 2019 On a multilattice analogue of a hypersequent S5 calculus
    • Grigoriev Oleg, Petrukhin Yaroslav
    • в журнале Logic and Logical Philosophy, том 28, № 4, с. 683-730 DOI
  • 
    • 2019 Two proofs of the algebraic completeness theorem for multilattice logic
    • Grigoriev Oleg, Petrukhin Yaroslav
    • в журнале Journal of Applied Non-classical logics, том 29, № 4, с. 358-381 DOI
  • 
    • 2016 Generalized Truth Values: From Logic to the Applications in Cognitive Sciences
    • Grigoriev Oleg
    • в журнале Lecture Notes in Computer Science, том 9719, с. 712-719 DOI
  • 
    • 2015 Two formalisms for a logic of generalized truth values
    • Grigoriev Oleg
    • в журнале Bulletin of Symbolic Logic, издательство Association for Symbolic Logic (United States), том 21, № 01, с. 71-72 DOI
  • 
    • 2011 Две истины – одна логика
    • Григорьев О.М., Зайцев Д.В.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 17, с. 121-139
  • 
    • 2010 Relevant Generalization Starts Here (and Here = 2)
    • Zaitsev Dmitry, Grigoriev Oleg
    • в журнале Logic and Logical Philosophy, том 19, № 4, с. 329-340 DOI
  • 
    • 2006 Система натурального вывода для логики линейного времени
    • Бащуковски А., Болотов А.Е., Григорьев О.М., Шангин В.О.
    • в журнале Логические исследования, издательство Федеральное государственное бюджетное учреждение науки Институт философии Российской академии наук (Москва), том 13, с. 71-95

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

  • • 2022 Cyclic Negations and Four-valuedness
    • Grigoriev Oleg, Zaitsev Dmitry
    • в сборнике In Andrzej Indrzejczak and Michał Zawidzki: Proceedings of the 10th International Conference on Non-Classical Logics. Theory and Applications (NCL 2022), Łódź, Poland, 14-18 March 2022, серия Electronic Proceedings in Theoretical Computer Science, том 358, с. 216-226 DOI
  • • 2022 ON CONNEGATION
    • Belikov Alex, Grigoriev Oleg, Zaitsev Dmitry
    • в сборнике Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn, серия Tributes, издательство College Publications (United States), том 46, с. 73-88
  • • 2020 Отношения следования в логиках с коннегацией
    • Беликов А.А., Григорьев О.М.
    • в сборнике Сборник научных статей по итогам Второго Международного Конгресса Русского общества истории и философии науки «Наука как общественное благо», место издания Издательство РОИФН Москва, том 4, с. 199-201
  • • 2018 Начала логики - продолжение дискуссий
    • Григорьев О.М.
    • в сборнике Современная логика: основания, предмет и перспективы развития, место издания ИД "Форум" Москва, с. 10-22
    • редактор Зайцев Дмитрий Владимирович
  • 
    • 2009 Deontic Extension of Deductive Verification of Component Model: Combining Computation Tree Logic and Deontic Logic in Natural Deduction Style Calculus
    • Bolotov Alexander, Basso Alessandro, Grigoriev Oleg
    • в сборнике Proceedings of the 4th Indian International Conference on Artificial Intelligence, IICAI 2009, Tumkur, Karnataka, India, December 16-18, 2009, место издания IICAI, с. 166-185
  • 
    • 2007 A Simpler Formulation of Natural Deduction Calculus for Linear-Time Temporal Logic
    • Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Proceedings of the 3rd Indian International Conference on Artificial Intelligence, Pune, India, December 17-19, 2007, место издания IICAI, с. 1253-1266
  • 
    • 2007 Automated Natural Deduction for Propositional Linear-Time Temporal Logic
    • Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Proceedings of the 14th International Symposium on Temporal Representation and Reasoning, серия TIME ’07, место издания IEEE Computer Society Washington, DC, USA, с. 47-58 DOI
  • 
    • 2006 Natural Deduction Calculus for Computation Tree Logic
    • Bolotov Alexander, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Proceedings of the IEEE John Vincent Atanasoff 2006 International Symposium on Modern Computing, серия JVA ’06, место издания IEEE Computer Society Washington, DC, USA, с. 175-183 DOI
  • 
    • 2006 Natural Deduction Calculus for Linear-Time Temporal Logic
    • Bolotov Alexander, Basukoski Artie, Grigoriev Oleg, Shangin Vasilyi
    • в сборнике Logics in Artificial Intelligence, 10th European Conference, JELIA 2006, Liverpool, UK, September 13-15, 2006, Proceedings, серия Lecture Notes in Computer Science, место издания Springer Berlin Heidelberg, том 4160, с. 56-68 DOI
    • редактор Конев Борис Юрьевич

• Книги

  • • 2022 Relevance Logics and other Tools for Reasoning. Essays in Honor of J. Michael Dunn
    • Bimbó Katalin, Belikov Alex, Grigoriev Oleg, Zaitsev Dmitry
    • издательство College Publications (United States) , 472 с.

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

  • • 2022 Разработка нейроинтерфейсов: семантические модели представления материала для экспериментальных исследований (Устный)
    • Авторы: Григорьев О.М., Маркин В.И.
    • HOMO LOQUENS: язык — логика — культура. "Я", "ты", "другой": репрезентации персональности в языке, литературе, культуре, Калининград, Россия, 1-3 декабря 2022
  • • 2022 Циклические отрицания в контексте четырехзначности (Устный)
    • Авторы: Зайцев Д.В., Григорьев О.М.
    • Ломоносовские чтения - 2022, секция "Философские науки", Философский факультет Московского государственного университета имени М.В.Ломоносова, Россия, 14-21 апреля 2022
  • • 2022 Cyclic Negations and Four-valuedness (Устный)
    • Авторы: Grigoriev Oleg, Zaitsev Dmitry
    • 10th International Conference NCL'22: Non-classsical logics. Theory and applications 2022, Лодзь, Польша, 14-18 марта 2022
  • • 2022 On Embedding of D2 into the Minimal Discussive Logic (Устный)
    • Авторы: Grigoriev Oleg, Mruczek-Nasieniewska Krystyna, Nasieniewski Marek, Petrukhin Yaroslav, Shangin Vasilyi
    • 10th International Conference NCL'22: Non-classsical logics. Theory and applications 2022, Лодзь, Польша, 14-18 марта 2022
  • • 2021 На пути к релевантной мультирешеточной логике (Устный)
    • Авторы: Григорьев О.М., Петрухин Я.И.
    • XII Международная научная конференция «Интеллектуальные системы и компьютерные науки», Москва, МГУ имени М.В. Ломоносова, Россия, 29 ноября - 3 декабря 2021
  • • 2021 On multilattice counterparts of MNT4, S4, and S5 (Устный)
    • Авторы: Grigoriev Oleg, Petrukhin Yaroslav
    • Logical Perspectives 2021: Summer School and Workshop, Математический институт им. В.А. Стеклова РАН, ул. Губкина, д. 8, г. Москва, Россия, 14-19 июня 2021
  • • 2021 Недетерминированные матрицы и секвенциальные исчисления (Устный)
    • Авторы: Григорьев О.М., Петрухин Я.И.
    • Ломоносовские чтения - 2021, секция "Философские науки", МГУ имени М.В. Ломоносова, философский факультет, Россия, 20-29 апреля 2021
  • • 2021 Недетминированные матрицы и секвенциальные исчисления (Устный)
    • Автор: григорьев о.м.
    • Ломоносовские чтения - 2021, секция "Философские науки", МГУ имени М.В. Ломоносова, философский факультет, Россия, 20-29 апреля 2021
  • • 2020 Отношения следования в логиках с коннегацией (Устный)
    • Авторы: Беликов А.А., Григорьев О.М.
    • ВТОРОЙ МЕЖДУНАРОДНЫЙ КОНГРЕСС РУССКОГО ОБЩЕСТВА ИСТОРИИ И ФИЛОСОФИИ НАУКИ НАУКА КАК ОБЩЕСТВЕННОЕ БЛАГО, Санкт Петербург, Россия, 27-29 ноября 2020
  • • 2020 Basic Modal Congruent and Monotonic Multilattice logics (Устный)
    • Авторы: Grigoriev Oleg, Petrukhin Yaroslav
    • 3rd DaLi Workshop. Dynamic Logic: New Trends and Applications, Прага (онлайн), Чехия, 9-10 октября 2020
  • • 2019 On a multilattice version of the relevant logic R (Устный)
    • Авторы: Oleg Grigoriev, Yaroslav Petrukhin
    • Trends in Logic 19: Current Issues in Philosophical Logic, Национальный исследовательский университет Высшая школа экономики (НИУ ВШЭ), Москва, Россия, 2-4 октября 2019
  • • 2019 On a multilattice version of S5 (Устный)
    • Авторы: Petrukhin Y.I., Grigoriev O.M.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2019 Две грани циклического отрицания (Устный)
    • Авторы: Беликов А.А., Григорьев О.М., Зайцев Д.В.
    • Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 19-21 июня 2019
  • • 2017 Logic of Bipartite Truth with Uncertainty Dimension (Устный)
    • Автор: Grigoriev O.M.
    • ISRALOG ’17. The Third Israeli Workshop on Non-Classical Logics and Their Applications. University of Haifa 15-17 Oct. 2017., University of Haifa, Израиль, 15-17 октября 2017
  • • 2017 Generalized Truth Values and Quantum Logic (Устный)
    • Автор: Григорьев О.М.
    • Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года, Философский факультет, МГУ имени М. В. Ломоносова, Россия, 15-17 июня 2017
  • • 2016 Generalized Truth Values: From Logic to the Applications in Cognitive Sciences (Устный)
    • Автор: Grigoriev O.M.
    • 13 International Symposium on Neural Networks, ISNN 2016 St. Petersburg, Russia, July 6-8, 2016, Санкт-Петербург, Россия, 6-8 июля 2016
  • • 2015 Semantic analysis of classical seminegations (Устный)
    • Автор: Григорьев О.М.
    • Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года, Москва, Россия, 17-19 июня 2015
  • • 2014 Two Formalisms for a Logic of Generalized Truth Values (Устный)
    • Автор: Grigoriev O.M.
    • Logic Colloquium-2014, July 19-24, Austria, Vienna, Австрия, 2014
  • • 2011 Bipartite truth and semi-negations (Устный)
    • Автор: Григорьев О.М.
    • Седьмые Смирновские чтения по логике. Международная научная конференция. 22-24 июня 2011 года, Москва, Россия, 23 июня 2011

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

  • • 2019 On a multilattice version of S5
    • Grigoriev O.M., Petrukhin Y.I.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 14-16
  • • 2019 Две грани циклического отрицания
    • Беликов А.А., Григорьев О.М., Зайцев Д.В.
    • в сборнике Одиннадцатые Смирновские чтения по логике. Материалы Международной научной конференции. 19-21 июня 2019 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 8-10
  • • 2017 Generalized truth values and quantum logic
    • Grigoriev O.M.
    • в сборнике Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 70-71
    • редакторы Герасимова Ирина Алексеевна, Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич, Шалак Владимир Иванович
  • 
    • 2015 Semantic analysis of classical seminegations
    • Grigoriev O.M.
    • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 58-59
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • 
    • 2014 Socratic Proofs for Propositional Linear-Time Logic
    • Урбанский М., Болотов А.Е., Григорьев О.М., Шангин В.О.
    • в сборнике Joint Automated Reasoning Workshop and Deduktionstreffen As part of the Vienna Summer of Logic – IJCAR 23-24 July 2014, тезисы, с. 34-35
  • • 2014 Two Formalisms for a Logic of Generalized Truth Values
    • Grigoriev O.M.
    • в сборнике Logic Colloquium 2014. Vienna Summer of Logic, July 9-24, 2014. Abstract Booklet, серия Logic Colloquium, место издания Vienna, тезисы, с. 59-60
  • • 2013 A Tableau Calculus for a Logic of Two-Component Truth
    • Григорьев О.М.
    • в сборнике Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 46-48
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2011 Bipartite truth and semi-negations
    • Grigoriev O.M.
    • в сборнике Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года, серия Смирновские чтения по логике, место издания Современные тетради, Москва, тезисы, с. 54-55
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Карпенко Александр Степанович, Маркин Владимир Ильич
  • • 2009 Натуральные исчисления с характеристиками зависимости для нормальных систем модальной логики
    • Григорьев О.М.
    • в сборнике Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года, серия Смирновские чтения по логике, место издания Современные тетради Москва, тезисы, с. 54-55
    • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Ивлев Юрий Васильевич, Маркин Владимир Ильич
  • • 2007 Buy one get two free: a simpler formulation of natural deduction for computation tree logic CTL
    • Bolotov A.E., Grigoriev O.M., Shangin V.O.
    • в сборнике Пятые Смирновские чтения по логике. Материалы международной научной конференции. 20-22 июня 2007 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 44-46
  • • 2003 Mosaic Method and Analytic Tableaux for Temporal Logics
    • Grigoriev O.M.
    • в сборнике Четвертые Смирновские чтения по логике. Материалы международной научной конференции. 28-30 мая 2005 года, серия Смирновские чтения по логике, место издания ИФРАН Москва, тезисы, с. 196-197
  • • 2002 Аналитико-табличная формализация временных логик с нестандартным отношением прошлого и будущего
    • Григорьев О.М.
    • в сборнике Современная логика: Проблемы теории, истории и применения в науке. Материалы VII Общероссийской научной конференции, 20-22 июня 2002 г, серия Современная логика, место издания СПбГУ Санкт-Петербург, тезисы, с. 442-445
  • • 2001 Аналитико-табличные формулировки систем временной логики
    • Григорьев О.М.
    • в сборнике Третьи Смирновские чтения по логике. Материалы международной научной конференции. 24-27 мая 2001 года, серия Смирновские чтения по логике, место издания М, тезисы, с. 113-114

• НИРы

  • • 13 января 2023 - 13 января 2024 Логические теории неклассического следования и отношения между ними
    • Автономная некоммерческая организация "Институт логики, когнитологии и развития личности"
    • Руководитель: Григорьев О.М. Участники НИР: Петрухин Я.И., Пыльцин А.В., Шангин В.О.
  • • 1 января 2020 - 31 декабря 2022 Дедуктивные свойства многозначных логик обобщенных истинностных значений
    • Автономная некоммерческая организация "Институт логики, когнитологии и развития личности"
    • Руководитель: Шангин В.О. Ответственные исполнители: Беликов А.А., Григорьев О.М., Петрухин Я.И.
  • • 1 января 2019 - 31 декабря 2025 Теоретическая и прикладная логика
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Беликов А.А., Григорьев О.М., Зайцев Д.В., Ивлев Ю.В., Конькова А.В., Легейдо М.М., Сорина Г.В., Шангин В.О.
  • • 1 января 2016 - 31 декабря 2018 Логическая семантика и логика научного познания
    • Философский факультет
    • Руководители: Зайцев Д.В., Смирнова Е.Д. Участники НИР: Беликов А.А., Григорьев О.М., Зайцев Д.В., Ивлев Ю.В., Красненкова А.В., Кузина Е.Б., Маркин В.И., Перминов В.Я., Попов О.В., Рейнгард А.М., Савкин П.Д., Шапошников В.А., Эрекаев В.Д.
  • • 1 января 2015 - 31 декабря 2015 Логическая семантика и логика научного познания
    • Кафедра логики
    • Руководитель: Смирнова Е.Д. Участники НИР: Григорьев О.М., Зайцев Д.В., Красненкова А.В., Кузина Е.Б., Маркин В.И., Попов О.В., Рейнгард А.М., Савкин П.Д.
  • • 1 января 2014 - 31 декабря 2014 Неклассические логики и их применение в философии и методологии науки
    • Философский факультет
    • Руководитель: Маркин В.И. Участники НИР: Григорьев О.М., Зайцев Д.В., Ивлев Ю.В., Попов В.М., Шангин В.О.

• Участие в редколлегии сборников

  • • 2019 Одиннадцатые Смирновские чтения по логике: материалы Междунар. науч. конф., Москва, 19–21 июня 2019 г.
    • члены редколлегии: Григорьев О.М., Ивлев Ю.В., Маркин В.И., Зайцев Д.В., Шалак В.И., Кузина Е.Б.
    • место издания Москва
    • сборник тезисов
  • • 2017 Десятые Смирновские чтения по логике. Материалы Международной научной конференции. 15-17 июня 2017 года
    • члены редколлегии: Герасимова И.А., Зайцев Д.В., Григорьев О.М., Ивлев Ю.В., Маркин В.И., Шалак В.И.
    • серия Смирновские чтения по логике
    • издательство Изд-во Моск. ун-та (М.)
    • сборник тезисов
  • • 2015 Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года
    • члены редколлегии: Григорьев О.М., Карпенко А.С., Маркин В.И., Зайцев Д.В.
    • серия Смирновские чтения по логике
    • издательство Изд-во Моск. ун-та (М.)
    • сборник тезисов
  • • 2013 Восьмые Смирновские чтения по логике. Материалы международной научной конференции. 19-21 июня 2013 года
    • члены редколлегии: Григорьев О.М., Маркин В.И., Карпенко А.С., Зайцев Д.В.
    • серия Смирновские чтения по логике
    • место издания Современные тетради Москва
    • сборник тезисов
  • • 2011 Седьмые Смирновские чтения по логике. Материалы международной научной конференции. 22-24 июня 2011 года
    • члены редколлегии: Ивлев Ю.В., Григорьев О.М., Маркин В.И., Карпенко А.С., Зайцев Д.В.
    • серия Смирновские чтения по логике
    • место издания Современные тетради, Москва
    • сборник тезисов
  • • 2009 Шестые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2009 года
    • члены редколлегии: Григорьев О.М., Маркин В.И., Ивлев Ю.В., Зайцев Д.В.
    • серия Смирновские чтения по логике
    • место издания Современные тетради Москва
    • сборник тезисов

• Участие в программных комитетах конференций

  • • 19-21 июня 2019 Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года
    • Член программного комитета
    • Философский факультет, МГУ имени М. В. Ломоносова, Россия
  • • 19-21 июня 2019 Одиннадцатые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2019 года
    • Член организационного комитета
    • Философский факультет, МГУ имени М. В. Ломоносова, Россия
  • • 15 декабря 2017 Научная конференция, посвященная памяти профессора В.А. Бочарова
    • Член организационного комитета
    • Москва, МГУ, Россия
  • • 15-17 июня 2017 Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
    • Член организационного комитета
    • Философский факультет, МГУ имени М. В. Ломоносова, Россия
  • • 15-17 июня 2017 Десятые Смирновские чтения по логике. Международная научная конференция. 15-17 июня 2017 года
    • Член программного комитета
    • Философский факультет, МГУ имени М. В. Ломоносова, Россия
  • • 17-19 июня 2015 Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года
    • Член организационного комитета
    • Москва, Россия
  • • 17-19 июня 2015 Девятые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2015 года
    • Член программного комитета
    • Москва, Россия
  • • 20 февраля 2014 Конструктивная теория доказательств. Международная конференция, посвященная памяти А.Г.Драгалина
    • Член организационного комитета
    • Москва, Россия
  • • 19-21 июня 2013 Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года
    • Член организационного комитета
    • г.Москва, МГУ имени М.В. Ломоносова, Россия
  • • 19-21 июня 2013 Восьмые Смирновские чтения по логике. Международная научная конференция. 19-21 июня 2013 года
    • Член организационного комитета
    • г.Москва, МГУ имени М.В. Ломоносова, Россия
  • • 23 июня 2011 Седьмые Смирновские чтения по логике. Международная научная конференция. 22-24 июня 2011 года
    • Член организационного комитета
    • Москва, Россия
  • • 2009 Шестые Смирновские чтения по логике. Международная научная конференция. 17-19 июня 2009 года
    • Член организационного комитета
    • Москва, Россия

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

  • • 2004 Аналитико-табличная формализация систем временной логики
    • Кандидатская диссертация по специальности 09.00.07 - Логика (филос. науки)
    • Автор: Григорьев Олег Михайлович, к.ф.н., МГУ имени М.В. Ломоносова
    • Научный руководитель: Маркин В.И., д.ф.н., проф., МГУ имени М.В. Ломоносова
    • Защищена в совете Д 501.001.48 при МГУ имени М.В. Ломоносова

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

  • • 2018 Экспликация понятия изменения знания в динамической эпистемической логике
    • Научный руководитель: Григорьев О.М.
    • Автор: Манахова Т.А. (Магистр)
  • • 2017 Метод конечных моделей как разрешающая процедура для систем временной логики
    • Научный руководитель: Григорьев О.М.
    • Автор: Пиманов Артем Сергеевич (Бакалавр)
  • • 2015 Семантика логик ветвящегося времени с квантификацией по возможным историям
    • Научный руководитель: Григорьев О.М.
    • Автор: Щекалева Ольга Вадимовна (Бакалавр)
  • • 2015 Методы остановки аналитических таблиц в прайоровских системах временной логики
    • Научный руководитель: Григорьев О.М.
    • Автор: Толстухин Алексей Вадимович (Специалист)
  • • 2012 Немонотонные логики как логики времени
    • Научный руководитель: Григорьев О.М.
    • Автор: Терехов Михаил (Специалист)

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

  • • 2021 Философско-методологические основания исследований искусственного интеллекта
    • Авторы: Григорьев Олег Михайлович, Клюева Н.Ю., Кузнецов Антон Викторович
  • • 2018 Логика для социологов
    • Автор: Григорьев Олег Михайлович
  • • 2015 Основы системы подготовки научных публикаций "Латех"
    • Автор: Григорьев Олег Михайлович
  • • 2015 Логика времени
    • Автор: Григорьев О.М.
  • • 2015 Дедуктивная логика
    • Авторы: Григорьев О.М., Зайцев Д.В., Ильин А.А.
  • • 2014 Логика для образовательной программы "Экономическая политика"
    • Автор: Григорьев О.М.
  • • 2009 Элементы теории вычислимости
    • Автор: Григорьев О.М.
  • • 2006 Основы подготовки научных публикаций LaTeX
    • Автор: Григорьев О.М.
  • • 2003 Логика для психологов. (Дневное отделение)
    • Авторы: Зайцев Д.В., Григорьев О.М.

• Преподавание учебных курсов

  • • 11 апреля 2023 - 3 мая 2023 Философско-методологические основания исследований искусственного интеллекта
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (межфакультетский курс), лекции, 8 часов
  • • 12 февраля 2019 - 14 мая 2019 Элементы теории вычислимости
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 12 февраля 2019 - 14 мая 2019 Основы системы подготовки научных публикаций "Латех"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 12 февраля 2019 - 14 мая 2019 Логика времени
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, по выбору (спецкурс), лекции, 34 часов
  • • 7 февраля 2019 - 16 мая 2019 Логика для социологов
    • МГУ имени М.В. Ломоносова, Социологический факультет
    • обязательная, базовой части, лекции, 34 часов
  • • 4 сентября 2018 - 18 декабря 2018 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 4 сентября 2018 - 18 декабря 2018 Основы системы подготовки научных публикаций "Латех"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 4 сентября 2018 - 18 декабря 2018 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 13 февраля 2018 - 15 мая 2018 Логика для социологов
    • МГУ имени М.В. Ломоносова, Социологический факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 13 февраля 2018 - 15 мая 2018 Элементы теории вычислимости
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 13 февраля 2018 - 15 мая 2018 Логика. II. Классическая дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 34 часов
  • • 13 февраля 2018 - 15 мая 2018 Логика. II. Классическая дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, лекции, 34 часов
  • • 13 февраля 2018 - 15 мая 2018 Основы системы подготовки научных публикаций "Латех"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 5 сентября 2017 - 19 декабря 2017 Логика. I. Логика, язык и мышление
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 5 сентября 2017 - 19 декабря 2017 Логика. I. Логика, язык и мышление
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 2 ноября 2016 - 14 декабря 2016 Дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (межфакультетский курс), лекции, 28 часов
  • • 7 сентября 2016 - 14 декабря 2016 Логика для психологов. (Дневное отделение)
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 36 часов
  • • 6 сентября 2016 - 20 декабря 2016 Элементы теории вычислимости
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 6 сентября 2016 - 20 декабря 2016 Основы подготовки научных публикаций LaTeX
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов
  • • 5 сентября 2016 - 19 декабря 2016 Логика для образовательной программы "Экономическая политика"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 36 часов
  • • 5 сентября 2016 - 19 декабря 2016 Логика для образовательной программы "Экономическая политика"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 7 сентября 2015 - 21 декабря 2015 Логика для образовательной программы "Экономическая политика"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • факультативная, лекции, 36 часов
  • • 7 сентября 2015 - 21 декабря 2015 Логика для образовательной программы "Экономическая политика"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • факультативная, семинары, 36 часов
  • • 2 сентября 2015 - 16 декабря 2015 Логика для психологов. (Дневное отделение)
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары, 36 часов
  • • 2 сентября 2015 - 16 декабря 2015 Логика для психологов. (Дневное отделение)
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, лекции, 36 часов
  • • 25 марта 2015 - 22 апреля 2015 Дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, по выбору (межфакультетский курс), лекции, 12 часов
  • • 10 февраля 2015 - 19 мая 2015 Логика времени
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 32 часов
  • • 10 февраля 2015 - 19 мая 2015 Логика для образовательной программы "Экономическая политика"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • факультативная, лекции, 36 часов
  • • 4 сентября 2014 - 18 декабря 2014 Логика. I. Логика, язык и мышление
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 4 сентября 2014 - 18 декабря 2014 Логика для образовательной программы "Экономическая политика"
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • факультативная, лекции, 36 часов
  • • 2 сентября 2014 - 23 декабря 2014 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 2 сентября 2014 - 16 декабря 2014 Логика. III. Неклассическая логика и логика научного познания
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 11 февраля 2014 - 20 мая 2014 Логика. II. Классическая дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 11 февраля 2014 - 20 мая 2014 Логика. II. Классическая дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 3 сентября 2013 - 17 декабря 2013 Логика. I. Логика, язык и мышление
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 3 сентября 2013 - 17 декабря 2013 Логика. I. Логика, язык и мышление
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, лекции, 36 часов
  • • 16 февраля 2013 - 22 мая 2013 Основы подготовки научных публикаций LaTeX
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), практические занятия
  • • 12 февраля 2013 - 28 мая 2013 Логика. Классическая дедуктивная логика.
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, базовой части, семинары
  • • 12 февраля 2013 - 21 мая 2013 Логика. II. Классическая дедуктивная логика
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 32 часов
  • • 3 сентября 2012 - 18 декабря 2012 Логика. I. Логика, язык и мышление
    • МГУ имени М.В. Ломоносова, Философский факультет
    • обязательная, базовой части, семинары, 36 часов
  • • 8 сентября 2009 - 16 декабря 2014 Элементы теории вычислимости
    • МГУ имени М.В. Ломоносова, Философский факультет, Кафедра логики
    • обязательная, по выбору (спецкурс), лекции, 36 часов