?
Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой
С. 43–44.
Рыбаков М. Н., Котикова Е. А.
Рассматривается первопорядковая темпоральная логика QCTL и её алгоритмические свойства. Показано, что эта логика не явялется рекурсивно перечислимой.
Язык:
русский
В книге
М.: Современные тетради, 2017.
Shkatov D., Рыбаков М. Н., , in: Conference of the South African Institute of Computer Scientists and Information Technologists 2020 (SAICSIT '20).: ACM, 2020. P. 58–65.
Доказаны аналоги теоремы Чёрча и теоремы Трахтенброта для логики квазиарных предикатов. ...
Добавлено: 20 июля 2020 г.
Рыбаков М. Н., Котикова Е. А., Logical Investigations 2015 Vol. 21 No. 1 P. 86–99
Доказана неполнота по Крипке большого класса исчислений, содержащих аксиоматику CTL и QCL. ...
Добавлено: 20 июля 2020 г.
Рыбаков М. Н., Котикова Е. А., Вестник Тверского государственного университета. Серия: Прикладная математика 2016 № 4 С. 5–19
Показано, как погрузить арифметику TA в предикатный вариант логики ветвящегося времени CTL. ...
Добавлено: 20 июля 2020 г.
Рыбаков М. Н., Шкатов Д. П., В кн.: Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва.: М.: Современные тетради, 2019. С. 43–45.
Утверждается существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал, обсуждается контекст вопроса. ...
Добавлено: 6 октября 2019 г.
Рыбаков М. Н., Чагрова Л. А., Программные продукты и системы 2018 Т. 31 № 3 С. 591–597
В качестве формального средства, описывающего свойства различных структур (в том числе структур вычислений), обычно используют язык логики предикатов. Этот язык, с одной стороны, понятен и удобен, а с другой, многие вопросы, важные с прикладной точки зрения, для него алгоритмически неразрешимы, то есть не могут быть решены программно. Сейчас существует много альтернативных языков, позволяющих описывать вычисления ...
Добавлено: 6 октября 2019 г.
Рыбаков М. Н., Вестник Тверского государственного университета. Серия: Прикладная математика 2018 № 3 С. 81–94
Рассматривается вопрос о возможности эффективного описания ненормальных и квазинормальных предикатных модальных логик, определяемых семантически посредством классов шкал Крипке с выделенными мирами. Доказывается, что любая ненормальная или квазинормальная (в т. ч. нормальная) модальная предикатная логика, полная относительно некоторого первопорядково определимого класса шкал Крипке с выделенными мирами, погружается в классическую логику предикатов. Показано, как построить соответствующее погружение, ...
Добавлено: 6 октября 2019 г.
Дворянский Л. В., Фрумин Д. И., , in: Proceedings of the 6th Spring/Summer Young Researchers’ Colloquium on Software Engineering, SYRCoSE 2012.: Perm: -, 2012. P. 122–127.
Nested Petri nets is an extension of Petri net formalism with net tokens for modelling multi-agent distributed systems with complex structure. Temporal logics, such as CTL, are used to state requirements of software systems behaviour. However, in the case of nested Petri nets models, CTL is not expressive enough for specification of system behaviour. In ...
Добавлено: 20 сентября 2012 г.