1.1. Публикации

Название страницы:

Форматированный текст

• Рыбаков М. Н., Котикова Е. А. Алгоритмическая выразительность предикатной логики ветвяще-
  гося времени в языке с одной одноместной буквой // Десятые Смирновские чтения
  по логике Материалы международной научной конференции, Москва, 2017. С.43
• Е.А.Котикова, М.Н.Рыбаков. Моделирование арифметики в языке первого порядка, обогащѐнного темпоральными кванторами // Вестник ТвГУ. Серия: Прикладная математика. №4. Тверь, Издательство ТвГУ, 2016. С.5–19. 
• E.A.Kotikova, M.N.Rybakov. Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics // Логические исследования, №21(1). Москва, Институт философии РАН, 2015. С.86–99.
• Котикова Е.А., Рыбаков М.Н. Пример использования логики как шаг в процессе её постижения // Проблеми викладання логіки та перспективи її розвитку. VІ Міжнародна науково-практична конференція (15–16 травня 2014 року). Матеріали доповідей та виступів. Київський національний університет імені Тараса Шевченка, ВПЦ «Київський університет», 2014. С.102–104.
• Kotikova E.A., Rybakov M.N. First-Order Logics of Branching Time: On Expressive Power of Temporal Operators // Logical Investigations, vol.19. Moscow–St.Petersburg , Center of Humanitarian Initiatives, 2013. P.68–99. 
• Котикова Е.А., Рыбаков М.Н. Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты // Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года. Издательство СПбГУ, СПб, 2012. 
• Котикова Е.А., Рыбаков М.Н. Сложность проблемы истинности константных модальных формул в модели // Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции 23–26 июня 2008г. Издательство СПбГУ, СПб, 2010. С.281–283. 

rich_text    

Разрешить комментарии на этой странице

Сделать комментарии общедоступными

Отменить Предварительный просмотр Сохранить страницу

Отменить Продолжить редактирование Сохранить страницу

Редактор HTML Редактор форматированного текста [{:section_type=>"rich_text", :content=>"<ul style=\"font-weight: 400;\">\n<li>Рыбаков М. Н., Котикова Е. А. Алгоритмическая выразительность предикатной логики ветвяще-<br>гося времени в языке с одной одноместной буквой // Десятые Смирновские чтения<br>по логике Материалы международной научной конференции, Москва, 2017. С.43</li>\n<li>Е.А.Котикова, М.Н.Рыбаков. Моделирование арифметики в языке первого порядка, обогащѐнного темпоральными кванторами // Вестник ТвГУ. Серия: Прикладная математика. №4. Тверь, Издательство ТвГУ, 2016. С.5–19. </li>\n<li>\n<span>E.A.Kotikova, M.N.Rybakov. Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics // </span>Логические исследования<span>, №21(1). </span>Москва, Институт философии РАН, 2015. С.86–99.</li>\n<li>Котикова Е.А., Рыбаков М.Н. Пример использования логики как шаг в процессе её постижения // Проблеми викладання логіки та перспективи її розвитку. VІ Міжнародна науково-практична конференція (15–16 травня 2014 року). Матеріали доповідей та виступів. Київський національний університет імені Тараса Шевченка, ВПЦ «Київський університет», 2014. С.102–104.</li>\n<li>Kotikova E.A., Rybakov M.N. First-Order Logics of Branching Time: On Expressive Power of Temporal Operators // Logical Investigations, vol.19. Moscow–St.Petersburg , Center of Humanitarian Initiatives, 2013. P.68–99. </li>\n<li>Котикова Е.А., Рыбаков М.Н. Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты // Открытый Российско-Финский коллоквиум по логике. Санкт-Петербург, 14–16 июня 2012 года. Издательство СПбГУ, СПб, 2012. </li>\n<li>\n<span>Котикова Е.А., Рыбаков М.Н. Сложность проблемы истинности константных модальных формул в модели // Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции 23–26 июня 2008г. Издательство СПбГУ, СПб, 2010. С.281–283.</span> </li>\n</ul>"}]

Название ePortfolio:
Сделать общедоступной
Обновить ePortfolio Отменить