?
Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал
С. 43–45.
Rybakov M., Шкатов Д. П.
In book
М.: Современные тетради, 2019.
Shkatov D., Rybakov M., , in: Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20).: ACM, 2020. P. 58–65.
It is proved that Church theorem and Trakhtenbrot theorem are true for the logic of quasiary predicates. ...
Added: July 20, 2020
Rybakov M., Котикова Е. А., Logical Investigations 2015 Vol. 21 No. 1 P. 86–99
For an infinite class of calculi containing CTL and QCL, it is proved that they are Kripke incomplete. ...
Added: July 20, 2020
Rybakov M., Котикова Е. А., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 43–44.
We consider first order temporal logic QCTL and it's algorithmic properties. It is shown that this logic is not recursively enumerable. ...
Added: October 7, 2019
Rybakov M., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 41–43.
We consider first-order modal logics with unary predicate letters only. We show that any sublogic of QS5, QGL, or QGrz is undecidable in the language with just one unary predicate letter. Some near questions will be discussed. ...
Added: October 7, 2019
Rybakov M., Логические исследования 2017 Т. 23 № 2 С. 60–75
Рассматриваются модальные предикатные логики в языке, содержащем только одноместные предикатные буквы. Показано, что любая логика, содержащаяся в QS5, QGLLin или QGrz.3 является алгоритмически неразрешимой в языке с одной одноместной предикатной буквой (как при наличии, так и при отсутствии в логике формулы Баркан). Также показано, что логики конечных шкал Крипке (как с расширяющимися, так и с ...
Added: October 7, 2019
Rybakov M., Чагрова Л. А., Программные продукты и системы 2018 Т. 31 № 3 С. 591–597
It is common to use the first-order language as a formal tool for describing properties of various (computational) structures. On the one hand, this language is well understood and easy to use; on the other, many questions that are im-portant from the applications point of view related to this language are algorithmically undecidable, i.e., cannot ...
Added: October 6, 2019
Rybakov M., Вестник Тверского государственного университета. Серия: Прикладная математика 2018 № 3 С. 81–94
Рассматривается вопрос о возможности эффективного описания ненормальных и квазинормальных предикатных модальных логик, определяемых семантически посредством классов шкал Крипке с выделенными мирами. Доказывается, что любая ненормальная или квазинормальная (в т. ч. нормальная) модальная предикатная логика, полная относительно некоторого первопорядково определимого класса шкал Крипке с выделенными мирами, погружается в классическую логику предикатов. Показано, как построить соответствующее погружение, ...
Added: October 6, 2019
Gorbatov V., / Series HUM "Humanities". 2016. No. 131.
In recent critical comments on “On Denoting”, Saul Kripke says that Russell's famous analysis of joke about yachts in terms of degrees and graded positives is incorrect. His criticism has given rise to a number of issues related to interpreting cross-world comparisons like “Х might have been greater than it is” in doxastic contexts like ...
Added: April 15, 2016