|
|
Список публикаций:
|
|
Цитирования (Crossref Cited-By Service + Math-Net.Ru) |
|
|
| 1. |
M. Rybakov, D. Shkatov, “Algorithmic properties of modal and superintuitionistic logics of monadic predicates over finite frames”, Journal of Logic and Computation (to appear)  
|
1
[x]
|
| 2. |
M. Rybakov, D. Shkatov, “Variations on the Kripke trick”, Studia Logica (to appear)  |
| 3. |
M. Rybakov, D. Shkatov, “Polytime embedding of intuitionistic modal logics into their one-variable fragments”, Journal of Logic and Computation (to appear) |
|
 2024 |
| 4. |
M. Rybakov, “Predicate counterparts of modal logics of provability: High undecidability and Kripke incompleteness”, Logic Journal of the IGPL, 32:3 (2024), 465–492  
|
2
[x]
|
| 5. |
M. Rybakov, D. Shkatov, D. Skvortsov, “On the system of positive slices in the structure of superintuitionistic predicate logics”, Advances in Modal Logic (Faculty of Arts of Charles University (Prague), 19–22 August 2024), 15, eds. Agata Ciabattoni, David Gabelaia, and Igor Sedlár, College Publications, 2024, 653–674 |
| 6. |
М. Н. Рыбаков, “Неразрешимость логики QLC в языке с двумя предметными переменными”, IV Конференция математических центров России. Сборник тезисов (Санкт-Петербург, 6–11 августа), 2024, 151–152 |
| 7. |
М. Н. Рыбаков, Д. А. Серова, “Неразрешимые фрагменты расширений предикатной логики Гёделя–Дамметта”, Международная конференция Мальцевские чтения, Тезисы докладов (Новосибирск, Институт математики им. С. Л. Соболева СО РАН, 11–15 ноября 2024 года.), Новосибирск, 2024, 45 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf |
| 8. |
А. А. Оноприенко, М. Н. Рыбаков, “Сложность логики HC с одной переменной”, Международная конференция Мальцевские чтения, Тезисы докладов (Новосибирск, Институт математики им. С. Л. Соболева СО РАН, 11–15 ноября 2024 года.), Новосибирск, 2024, 44 http://old.math.nsc.ru/conference/malmeet/24/Sbornik/Malcev_Meeting_2024.pdf |
|
| 2023 |
| 9. |
M. Rybakov, D. Shkatov, “Complexity function and complexity of validity of modal and superintuitionistic propositional logics”, Journal of Logic and Computation, 33:7 (2023), 1566–1595
|
2
[x]
|
| 10. |
М. Н. Рыбаков, “Деревья как средство моделирования неразрешимых проблем”, Вестник ТвГУ. Серия: Прикладная математика, 2023, № 1, 5–23  
|
1
[x]
|
| 11. |
М. Н. Рыбаков, “Бинарный предикат, транзитивное замыкание, две-три переменные: сыграем в домино?”, Логические исследования, 29:1 (2023), 114–146 |
| 12. |
I. Agadzhanian, M. Rybakov, D. Shkatov, “Algorithmic complexity of monadic multimodal predicate logics with equality over finite Kripke frames”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow, 2023, 16–19 https://scan2023.mi-ras.ru/abstracts.pdf  |
| 13. |
M. Rybakov, D. Serova, “Tiling problems and complexity of logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, Moscow, 2023, 70–72 https://scan2023.mi-ras.ru/abstracts.pdf |
| 14. |
M. Rybakov, D. Shkatov, “On algorithmic expressivity of finite-variable fragments of intuitionistic modal logics”, SCAN 2023 Semantical and Computational Aspects of Non-Classical Logics (Moscow + Online, June 13–17, 2023), Steklov International Mathematical Center, 2023, 73–76 https://scan2023.mi-ras.ru/abstracts.pdf |
| 15. |
М. Н. Рыбаков, Д. П. Шкатов, “Трюк Крипке и разрешимость монадических фрагментов модальных и суперинтуиционистских предикатных логик”, Тринадцатые Смирновские чтения по логике, Материалы международной научной конференции (22–24 июня 2023г., Москва), 2023, 40–44 |
| 16. |
M. Rybakov, D. Serova, Tiling problems and complexity of logics (extended version), 2023 (Published online) , 7 pp., arXiv: 2306.13736 |
| 17. |
М. Н. Рыбаков, “Простой пример блокировки аргумента Крейга”, Логические исследования, 29:2 (2023), 36–58 |
| 18. |
М. Н. Рыбаков, “Рекурсивная неотделимость в модальных и суперинтуиционистских предикатных логиках”, Мальцевские чтения. Тезисы докладов (Международный математический центр в Академгородке, 13–17 ноября 2023 года), СО РАН, Новосибирск, 2023, 16 http://old.math.nsc.ru/conference/malmeet/23/maltsev2023.pdf |
| 19. |
М. Н. Рыбаков, “Рекурсивная неотделимость для классических теорий бинарного предиката и модальных логик унарного предиката”, Третья конференция Математических центров России (Республика Адыгея, г.Майкоп, АГУ, 10–15 октября 2023 года), 2023 https://mc-conf.adygnet.ru/upload/math_logic.pdf |
| 20. |
М. Н. Рыбаков, “Поправка к статье “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных” (2022, том 507, с. 61–65)”, Докл. РАН. Матем., информ., проц. упр., 512 (2023), 102
|
1
[x]
|
|
| 2022 |
| 21. |
M. Rybakov, D. Shkatov, “Undecidability of the logic of partial quasiary predicates”, Logic Journal of the IGPL, 30:3 (2022), 519–533
|
2
[x]
|
| 22. |
М. Н. Рыбаков, “Сложность проблемы равенства слов в модальных и псевдобулевых алгебрах с малым числом порождающих”, Известия вузов. Математика, 2022, № 5, 42–60 ; M. Rybakov, “Computational complexity of the word problem in modal and pseudo-Boolean algebras with a small number of generators”, Russian Mathematics, 66:5 (2022), 33-48 |
| 23. |
M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of products with non-transitive modal logics”, Journal of Logic and Computation, 32:5 (2022), 853–870
|
6
[x]
|
| 24. |
M. Rybakov, D. Shkatov, “Correction to: Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter”, Studia Logica, 110 (2022), 597–598 |
| 25. |
M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of propositional temporal and modal logics of computation”, Theoretical Computer Science, 925, 10 August 2022 (2022), 45–60
|
3
[x]
|
| 26. |
М. Н. Рыбаков, “Алгоритмическая сложность теорий бинарного предиката в языках с малым числом переменных”, Доклады Российской академии наук. Математика, информатика, процессы управления, 507:6 (2022), 61–65 ; M. Rybakov, “Computational complexity of theories of a binary predicate with a small number of variables”, Doklady Mathematics, 106:3 (2022), 458–461
|
2
[x]
|
| 27. |
I. Agadzhanian, M. Rybakov, Complexity of the variable-free fragment of the weak Grzegorczyk logic, 2022 , 13 pp., arXiv: 2211.14571 |
| 28. |
М. Н. Рыбаков, “Undecidability of modal and superintuitionistic logics of a single unary predicate in languages with two variables”, Вторая конференция Математических центров России. Аннотации докладов (Москва, МГУ, МИАН, 7–11 ноября 2022 года), 2022, 73–74 https://www.mathnet.ru/ConfLogos/2047/All_sections_-_Abstracts.pdf |
|
| 2021 |
| 29. |
M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of products with K”, Journal of Logic and Computation, 31:2 (2021), 426–443
|
10
[x]
|
| 30. |
M. Rybakov, D. Shkatov, “Algorithmic properties of first-order superintuitionistic logics of finite Kripke frames in restricted languages”, Journal of Logic and Computation, 31:2 (2021), 494–522
|
11
[x]
|
| 31. |
М. Н. Рыбаков, “Геометрия, наглядность и современные технологии”, Перспективы развития математического образования в эпоху цифровой трансформации: материалы II Всероссийской научно-практической конференции (Тверь, 25–27 марта 2021 года), ред. Ю. В. Чемарина, А. А. Голубев, Издательство ТвГУ, Тверь, 2021, 172–176 |
| 32. |
M. Rybakov, D. Shkatov, “Algorithmic properties of first-order modal logics of linear Kripke frames in restricted languages”, Journal of Logic and Computation, 31:5, July 2021 (2021), 1266–1288
|
8
[x]
|
| 33. |
M. Rybakov, D. Shkatov, “On relationship between complexity function and complexity of validity in propositional modal logic”, Logical Perspectives 2021 (Moscow, June 7 – July 8), 2021 http://lp2021.mi-ras.ru/contributed/workshop-rybakov-shkatov.pdf |
| 34. |
M. Rybakov, D. Shkatov, “Algorithmic properties of QK4.3 and QS4.3”, Двенадцатые Смирновские чтения. Материалы Международной научной конференции. (Москва, 24–26 июня 2021 года), ред. О. М. Григорьев, Д. В. Зайцев, Ю. В. Ивлев, В. И. Шалак, Н. Е. Томова; отв.ред. В. И. Маркин, Русское общество истории и философии науки, Москва, 2021, 50–54 |
| 35. |
M. Rybakov, D. Shkatov, “Undecidability of QLTL and QCTL with two variables and one monadic predicate letter”, Логические исследования, 27:2 (2021), 93–120
|
3
[x]
|
| 36. |
М. Н. Рыбаков, “Сложность проблемы равенства слов в многообразиях модальных алгебр”, Вестник ТвГУ. Серия: Прикладная математика, 2021, № 3, 5–17
|
1
[x]
|
| 37. |
М. Н. Рыбаков, Д. П. Шкатов, “Неразрешимость логик с унарным предикатом и двумя переменными”, Математические основы информатики и информационно-коммуникационных технологий. Сборник трудов (ТвГУ, Тверь, 3–8 декабря 2021 года), РИУ ТвГУ, 2021, 246–254 |
| 38. |
K. Aleksandrov, M. Rybakov, D. Shkatov, Computational complexity of one-variable fragments of products with T, 2021 (Published online) , 10 pp., arXiv: 2112.03833 |
|
| 2020 |
| 39. |
А. П. Коряков, И. Б. Костюков, М. Н. Рыбаков, “Моделирование одновременного переноса жидкости и газа: практический подход”, Программные продукты и системы, 33:1 (2020), 96–110 |
| 40. |
М. Н. Рыбаков, “Элемент конструктивности в математических курсах”, Перспективы развития математического образования в эпоху цифровой трансформации, Материалы Всероссийской научно-практической конференции (Тверь, 27–28 марта 2020 года), ред. Ю. В. Чемарина, А. А. Голубев, Редакционно-издательское управление Тверского государственного университета, Тверь, 2020, 176–180 http://math.tversu.ru/websites/4/documents/5456/ |
| 41. |
M. Rybakov, D. Shkatov, “Recursive enumerability and elementary frame definability in predicate modal logic”, Journal of Logic and Computation, 30:2, March 2020 (2020), 549–560
|
8
[x]
|
| 42. |
M. Rybakov, D. Shkatov, “Computational properties of the logic of partial quasiary predicates”, Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT 20) (September 14–16, 2020, Cape Town, South Africa), ACM, New York, NY, USA, 8 Pages, 2020, 58–65
|
1
[x]
|
| 43. |
M. Rybakov, D. Shkatov, “Algorithmic properties of first-order modal logics of finite Kripke frames in restricted languages”, Published: 26 August 2020, Journal of Logic and Computation, 30:7, October 2020 (2020), 1305–1329
|
14
[x]
|
| 44. |
M. Rybakov, D. Shkatov, “Algorithmic properties of first-order modal logics of the natural number line in restricted languages”, Advances in Modal Logic, 978-1-84890-341-8 (Helsinki, August 24–28), July 2020, 13, eds. Nicola Olivetti, Rineke Verbrugge, Sara Negri and Gabriel Sandu, College Publications, 2020, 523–539 |
|
| 2019 |
| 45. |
M. Rybakov, D. Shkatov, “Undecidability of First-Order Modal and Intuitionistic Logics with Two Variables and One Monadic Predicate Letter”, Studia Logica, 107:4 (2019), 695–717 , arXiv: 1706.05060
|
25
[x]
|
| 46. |
М. Н. Рыбаков, Д. П. Шкатов, “Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал”, Одиннадцатые Смирновские чтения по логике (Москва, 19–21 июня 2019 года), Современные тетради, Москва, 2019, 43–45 |
| 47. |
М. Н. Рыбаков, “Математическое образование: рекурсивная мозаика”, Перспективы развития математического образования в Твери и Тверской области. Материалы III Всероссийской научно-практической конференции (Тверь, 29–30 марта 2019 года), Издательство ТвГУ, 2019, 174–176 |
| 48. |
M. Rybakov, Algorithmic properties of modal logics with restricted languages, PhD thesis, University of the Witwatersrand, Johannesburg, 2019 , 88 pp. http://wiredspace.wits.ac.za/handle/10539/27933 |
| 49. |
M. Rybakov, D. Shkatov, “Complexity of finite-variable fragments of propositional modal logics of symmetric frames”, Logic Journal of the IGPL, 27:1 (2019), 60–68
|
5
[x]
|
| 50. |
M. Rybakov, D. Shkatov, “Trakhtenbrot theorem for classical languages with three individual variables”, Proceedings of the South African Institute of Computer Scientists and Information Technologists 2019 (SAICSIT19) (Skukuza, South Africa, September 17–18, 2019), ACM, New York, NY, USA, 2019
|
4
[x]
|
|
| 2018 |
| 51. |
М. Н. Рыбаков, “Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 3, 81–94 |
| 52. |
М. Н. Рыбаков, “Алгоритмические свойства линейно аппроксимируемых квазинормальных модальных логик”, Вестник ТвГУ. Серия: Прикладная математика, 2018, № 4, 87–97
|
1
[x]
|
| 53. |
М. Н. Рыбаков, Л. А. Чагрова, “Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени”, Программные продукты и системы, 31:3 (2018), 591–597 |
| 54. |
M. Rybakov, D. Shkatov, “Complexity and expressivity of propositional dynamic logics with finitely many variables”, Logic Journal of the IGPL, 26:5 (2018), 539–547 , arXiv: 1901.06407
|
18
[x]
|
| 55. |
M. Rybakov, D. Shkatov, “A recursively enumerable Kripke complete first-order logic not complete with respect to a first-order definable class of frames”, Advances in Modal Logic, 12, eds. Guram Bezhanishvili, Giovanna D’Agostino, George Metcalfe, and Thomas Studer, College Publications, 2018, 531–540 |
| 56. |
M. Rybakov, D. Shkatov, “Complexity and expressivity of Branching- and Alternating-time temporal logics with finitely many variables”, Lecture Notes in Computer Science, 11187, eds. B. Fischer, T. Uustalu, Springer-Verlag GmbH, 2018, 396–414 , arXiv: 1810.09142
|
9
[x]
|
| 57. |
M. Rybakov, D. Shkatov, “On complexity of propositional linear-time temporal logic with finitely many variables”, Proceedings of SAICSIT18 (South Africa, Port Elizabeth, 26–28 September 2018), eds. J. van Niekerk, B. Haskins, ACM, 2018, 313–316 , arXiv: 1706.04108
|
2
[x]
|
| 58. |
М. Н. Рыбаков, Ю. В. Чемарина, Д. П. Шкатов, “Модели времени и математическое образование”, Перспективы развития математического образования в Твери и Тверской области. Материалы Второй Всероссийской научно-практической конференции (Тверь, 21 апреля 2018 года), Издательство ТвГУ, 2018, 173–178 |
|
| 2017 |
| 59. |
М. Н. Рыбаков, “Неразрешимость модальных логик одноместного предиката”, Логические исследования, 23:2 (2017), 60–75
|
3
[x]
|
| 60. |
М. Н. Рыбаков, “Образование и творчество”, Перспективы развития математического образования в Твери и Тверской области. Выпуск I, часть II. Материалы научно-практической конференции (Тверь, 18 февраля 2017 года), Издательство ТвГУ, Тверь, 2017, 79–82 |
| 61. |
М. Н. Рыбаков, “Неразрешимость модальных предикатных логик в языке с одной одноместной буквой”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 41–43 |
| 62. |
М. Н. Рыбаков, Е. А. Котикова, “Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 43–44 |
| 63. |
M. Rybakov, D. Shkatov, “On existence of recursively-enumerable Kripke-complete first-order modal logics that are not Kripke complete with respect to a first-order definable class of frames”, Десятые Смирновские чтения по логике (Москва, 15–17 июня 2017 года), Современные тетради, Москва, 2017, 45 |
| 64. |
P. Balbiani, M. Rybakov, “An axiomatization of iteration-free PDL with loop”, XII Tbilisi Symposium of Language, Logic and Computation (Lagodekhi, Georgia, 18–22 September, 2017), 2017, 49–53 |
|
| 2016 |
| 65. |
Е. А. Котикова, М. Н. Рыбаков, “Моделирование арифметики в языке первого порядка, обогащенном темпоральными кванторами”, Вестник ТвГУ. Серия: Прикладная математика, 2016, № 4, 5–19
|
1
[x]
|
| 66. |
А. В. Духовнева, М. Н. Рыбаков, Д. П. Шкатов, “Алгоритмическая выразительность некоторых фрагментов языка логики ветвящегося времени”, Программные продукты и системы, 29:4 (2016), 135–142 |
| 67. |
М. Н. Рыбаков, Способы обоснования существования математических объектов. Учебно-методическое пособие, Тверь, Издательство ТвГУ, 2016 |
| 68. |
М. Н. Рыбаков, Отношения, функции и операции над ними. Учебно-методическое пособие, Тверь, Издательство ТвГУ, 2016 |
|
| 2015 |
| 69. |
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
|
1
[x]
|
| 70. |
М. Н. Рыбаков, “Погружение классической логики предикатов в логику квазиарных предикатов”, Девятые Смирновские чтения по логике (Москва, 17–19 июня 2015 года), ред. В. И. Маркин, Современные тетради, Москва, 2015, 33–34 |
| 71. |
M. Rybakov, D. Shkatov, “Computational complexity of logics of nonterminating programs with restrictions on the number of propositional variables”, Девятые Смирновские чтения по логике (Москва, 17–19 июня 2015 года), ред. В. И. Маркин, Современные тетради, Москва, 2015, 34 |
|
| 2014 |
| 72. |
Е. А. Котикова, М. Н. Рыбаков, “Пример использования логики как шаг в процессе её постижения”, Проблеми викладання логiки та перспективи її розвитку. VІ Мiжнародна науково-практична конференцiя (Київський нацiональний унiверситет iменi Тараса Шевченка, 15–16 травня 2014 року), ВПЦ «Київський унiверситет», Київ, 2014, 102–104 |
| 73. |
М. Н. Рыбаков, “Неразрешимость логики квазиарных предикатов”, Вестник ТвГУ. Серия: Прикладная математика, 2014, № 4, 17–32 |
|
| 2013 |
| 74. |
E. A. Kotikova, M. N. Rybakov, “First-Order Logics of Branching Time: On Expressive Power of Temporal Operators”, Логические исследования, 19 (2013), 68–99
|
2
[x]
|
|
| 2012 |
| 75. |
Е. А. Котикова, М. Н. Рыбаков, “Предикатная логика ветвящегося времени QCTL: алгоритмические, семантические и дедуктивные аспекты”, Открытый Российско-Финский коллоквиум по логике (Санкт-Петербург, 14–16 июня 2012 года), 2012 |
|
| 2010 |
| 76. |
Е. А. Котикова, М. Н. Рыбаков, “Сложность проблемы истинности константных модальных формул в модели”, Современная логика: проблемы теории, истории и применения в науке. Материалы XI Общероссийской научной конференции (Санкт-Петербург, 23–26 июня 2010 года), Издательство СПбГУ, Санкт-Петербург, 2010, 281–283 |
|
| 2009 |
| 77. |
М. Н. Рыбаков, “Сложность фрагментов логики IPDL”, Шестые Смирновские чтения по логике, Современные тетради, 2009, 34–35 |
|
| 2008 |
| 78. |
М. Н. Рыбаков, “Свойства логик знания при одновременном использовании оператора распределённого знания и оператора всеобщего знания”, Современная логика: проблемы теории, истории и применения в науке. Материалы X Общероссийской научной конференции (Санкт-Петербург, 26–28 июня 2008 года), Издательство СПбГУ, 2008, 443–444 |
| 79. |
M. N. Rybakov, “Complexity of intuitionistic propositional logic and its fragments”, Journal of Applied Non-Classical Logics, 18:2–3 (2008), 267–292
|
15
[x]
|
|
| 2007 |
| 80. |
М. Н. Рыбаков, “Сложность константного фрагмента пропозициональной динамической логики”, Вестник ТвГУ. Серия: Прикладная математика, 2007, № 5, 5–17
|
2
[x]
|
| 81. |
М. Н. Рыбаков, “Неклассические логики: их сложность и сложность их приложений”, Философия математики: актуальные проблемы. Материалы Международной научной конференции (Москва, 15–16 июня 2007 года), Издательство философского факультета МГУ, Москва, 2007, 123–125 |
| 82. |
М. Н. Рыбаков, “К вопросу о полноте по Крипке предикатных логик”, Смирновские чтения. Материалы 5-ой конференции (Москва, 20–22 июня 2007 года), ред. А. С. Карпенко, Издательство ИФ РАН, Москва, 2007, 37–38 |
| 83. |
M. N. Rybakov, “Complexity of finite-variable fragments of EXPTIME-complete logics”, Journal of Applied Non-Classical Logics, 17:3 (2007), 359–382
|
10
[x]
|
| 84. |
И. А. Горбунов, М. Н. Рыбаков, “Континуальные семейства логик”, Логические исследования, 14 (2007), 131–151 |
|
| 2006 |
| 85. |
М. Н. Рыбаков, “Формальная предикатная логика А.Виссера: выразительность фрагментов языка от одной одноместной буквы”, Современная логика: проблемы теории, истории и применения в науке. Материалы IX Общероссийской научной конференции (Санкт-Петербург, 22–24 июня 2006 года), 2006, 386–388 |
| 86. |
M. N. Rybakov, “Complexity of intuitionistic and Visser’s basic and formal logics in finitely many variables”, Advances in Modal Logic, 6, College Publications, London, 2006, 393–411 |
|
| 2005 |
| 87. |
М. Н. Рыбаков, Сложность пропозициональных логик с конечным числом переменных, Диссертация на соискание учёной степени кандидата физико-математических наук, Тверской государственный университет, Тверь, 2005 , 95 с. |
| 88. |
M. N. Rybakov, “Complexity of the Two-Variable Fragment of Intuitionistic Propositional Logic”, Computer Science Applications of Modal Logic. International Conference (Moscow, September 5–9 2005), Poncelet Laboratory of UMI 2615 and Independent University of Moscow, Moscow, 2005, 35–36 |
| 89. |
М. Н. Рыбаков, Сложность пропозициональных логик с конечным числом переменных, Автореферат диссертации на соискание учёной степени кандидата физико-математических наук. Ярославский государственный университет им. П.Г. Демидова. Ярославль, 2005 |
|
| 2004 |
| 90. |
А. С. Гусева, М. Н. Рыбаков, “Интуиционистские формулы от двух переменных и PSPACE-полнота”, Современная логика: проблемы теории, истории и применения в науке. Материалы VIII Общероссийской научной конференции (Санкт-Петербург), Издательство СПбГУ, Санкт-Петербург, 2004, 480–482 |
| 91. |
М. Н. Рыбаков, “Погружение интуиционистской логики в её фрагмент от двух переменных и сложность этого фрагмента”, Логические исследования, 11 (2004), 247–261 |
|
| 2003 |
| 92. |
М. Н. Рыбаков, “О сложности проблемы разрешения для базисной и формальной логик с конечным числом переменных в языке”, Смирновские чтения. IV Международная конференция (Москва), Издательство Института философии РАН, Москва, 2003, 49–50 |
| 93. |
М. Н. Рыбаков, “Сложность проблемы разрешения базисной и формальной логик”, Логические исследования, 10 (2003), 158–166 |
| 94. |
М. Н. Рыбаков, А. В. Чагров, “О сложности модальных логик, имеющих доказуемостную интерпретацию, с ограничениями на число переменных”, Колмогоров и современная математика (Москва), ред. Осипов Ю. С., Садовничий В. А., Издательство МГУ, Москва, 2003, 707–708 |
| 95. |
A. V. Chagrov, M. N. Rybakov, “How Many Variables One Needs to Prove PSPACE-Hardness of Modal Logics?”, Advances in Modal Logic, 4, King’s College Publications, London, 2003, 71–82 |
|
| 2002 |
| 96. |
М. Н. Рыбаков, А. В. Чагров, “Константные формулы в модальных логиках: проблема разрешения”, Логические исследования, 9 (2002), 202–220 |
| 97. |
М. Н. Рыбаков, “Об алгоритмической выразительности модального языка с одной лишь одноместной предикатной буквой”, Логические исследования, 9 (2002), 179–201 |
| 98. |
A. V. Chagrov, M. N. Rybakov, “Least Number of Variables for PSPACE-Hardness of Provability Problem in Systems of Modal Logic”, Advances in Modal Logic (30 Septembre – 2 Octobre 2002. Institut de Reacherche en Informatique de Toulouse, Universite Paul Sabatier, Toulouse, France), Toulouse, 2002, 178–188 |
| 99. |
М. Н. Рыбаков, А. В. Чагров, “Модальные формулы без переменных и PSPACE-полнота”, Современная логика: проблемы теории, истории и применения в науке. Материалы VII Международной научной конференции (Санкт-Петербург), Издательство Санкт-Петербургского университета, Санкт-Петербург, 2002, 498–500 |
| 100. |
М. Н. Рыбаков, “Рекурсивная сводимость предикатных вариантов стандартных модальных логик к классической логике предикатов”, Российской математике — триста лет. Материалы юбилейной научной конференции (Тверь, 24–25 октября 2001 года), Издательство Тверского государственного университета, Тверь, 2002, 108–114 |
|
| 2001 |
| 101. |
И. А. Горбунов, М. Н. Рыбаков, “Выразительность операторов знания и возможность эффективного описания логик знания”, Проблемы управления и моделирования в сложных системах. Труды III Международной конференции (Самара), Самарский научный центр РАН, Самара, 2001, 617–622 |
| 102. |
М. Н. Рыбаков, “Перечислимость модальных предикатных логик и условия обрыва возрастающих цепей”, Логические исследования, 8 (2001), 155–167 |
| 103. |
М. Н. Рыбаков, “Операторы всеобщего и распределённого знания: дополнительные выразительные средства в логиках знания”, Информационные процессы, 1:1 (2001), 89–98 |
| 104. |
М. Н. Рыбаков, “О степени неразрешимости предикатных логик знания”, Труды научно-исследовательского семинара Логического центра Института философии РАН, XV, Издательство Института философии РАН, Москва, 2001, 79–91 |
|
| 2000 |
| 105. |
М. Н. Рыбаков, “Разрешимость некоторых модальных предикатных логик относительно классической логики предикатов”, Учёные записки Тверского государственного университета, 6, Издательство Тверского государственного университета, Тверь, 2000, 8–12 |
| 106. |
М. Н. Рыбаков, “Разрешимость интуиционистской логики предикатов относительно классической логики предикатов”, Современная логика: проблемы теории, истории и применения в науке. Материалы VI Международной научной конференции (Санкт-Петербург), Издательство Санкт-Петербургского государственного университета, Санкт-Петербург, 2000, 247–250 |
| 107. |
М. Н. Рыбаков, А. В. Чагров, “Стандартные переводы неклассических формул и относительная разрешимость логик”, Труды научно-исследовательского семинара Логического центра Института философии РАН, XIV, Издательство Института философии РАН, Москва, 2000, 81–98 |
|
| 1999 |
| 108. |
М. Н. Рыбаков, “Консервативность в нормальных модальных предикатных логиках”, Тезисы XXXVII Международной научной студенческой конференции (Новосибирск, 12–16 апреля 1999 года), Издательство НГУ, Новосибирск, 1999 |
|
Обратная связь: