Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 годасборник

Статьи, опубликованные в сборнике

---

• • 2015 Computational complexity of logics of nonterminating programs with restrictions on the number of propositional variables
  • Rybakov M., Shkatov D.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 34
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• • 2015 ND for Pal
  • Zaitsev D.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 67-68
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• 
  • 2015 Semantic analysis of classical seminegations
  • Grigoriev O.M.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 58-59
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• • 2015 Аксиоматизация логики Данна-Белнапа с одним выделенным значением
  • Беликов А.А.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 53-55
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• • 2015 Временные гибридные логики с модальностями «вчера» и «завтра»
  • Вахрушева Полина Викторовна
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 15-17
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• 
  • 2015 Диаграммный метод для первопорядкового фрагмента релевантной логики
  • Ильин А.А.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 72-74
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• • 2015 Интуиционистское исчисление высказываний с эквиваленцией и конъюнкцией
  • Плиско В.Е.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 28-30
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• • 2015 Логико-семантический анализ оснований и особенностей интенсиональных контекстов
  • Смирнова Е.Д.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 93-95
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• • 2015 Ментальный образ будущего в трансдисциплинарных исследованиях
  • Шклярик Е.Н.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 176-177
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич
• • 2015 Метапозиция Н.А. Васильева по отношению к философско-методологическим спорам начала 20 века
  • Сорина Г.В.
  • в сборнике Девятые Смирновские чтения по логике. Материалы международной научной конференции. 17-19 июня 2015 года, серия Смирновские чтения по логике, издательство Изд-во Моск. ун-та (М.), тезисы, с. 128-129
  • редакторы Григорьев Олег Михайлович, Зайцев Дмитрий Владимирович, Карпенко Александр Степанович, Маркин Владимир Ильич