Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал

М. Н. Рыбаков; Шкатов Д. П.

?

Существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал

С. 43–45.

Утверждается существование рекурсивно перечислимой полной по Крипке нормальной модальной предикатной логики, которая не полна относительно первопорядково определимых классов шкал, обсуждается контекст вопроса.

Язык: русский

Текст на другом сайте

Ключевые слова: квантифицированная модальная логика рекурсивная перечислимость первопорядковая определимость полнота по Крипке

В книге

Одиннадцатые Смирновские чтения по логике: материалы Международной научной конференции, 19 – 21 июня 2019, г. Москва

М.: Современные тетради, 2019.

Computational properties of the logic of partial quasiary predicates

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 г.

Kripke incompleteness of first-order calculi with temporal modalities of CTL and near logics

Рыбаков М. Н., Котикова Е. А., Logical Investigations 2015 Vol. 21 No. 1 P. 86–99

Доказана неполнота по Крипке большого класса исчислений, содержащих аксиоматику CTL и QCL. ...

Добавлено: 20 июля 2020 г.

Алгоритмическая выразительность предикатной логики ветвящегося времени в языке с одной одноместной буквой

Рыбаков М. Н., Котикова Е. А., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 43–44.

Рассматривается первопорядковая темпоральная логика QCTL и её алгоритмические свойства. Показано, что эта логика не явялется рекурсивно перечислимой. ...

Добавлено: 7 октября 2019 г.

Неразрешимость модальных предикатных логик в языке с одной одноместной буквой

Рыбаков М. Н., В кн.: Десятые Смирновские чтения: материалы Междунар. науч. конф., Москва, 15–17 июня 2017 г.: М.: Современные тетради, 2017. С. 41–43.

Рассматриваются предикатные модальные логики с одним одноместным предикатом. Показано, что соответствующие фрагменты подлогик таких логик как QS5, QGL или QGrz неразрешимы. ...

Добавлено: 7 октября 2019 г.

Неразрешимость модальных логик одноместного предиката

Рыбаков М. Н., Логические исследования 2017 Т. 23 № 2 С. 60–75

Рассматриваются модальные предикатные логики в языке, содержащем только одноместные предикатные буквы. Показано, что любая логика, содержащаяся в QS5, QGLLin или QGrz.3 является алгоритмически неразрешимой в языке с одной одноместной предикатной буквой (как при наличии, так и при отсутствии в логике формулы Баркан). Также показано, что логики конечных шкал Крипке (как с расширяющимися, так и с ...

Добавлено: 7 октября 2019 г.

Алгоритмическая неразрешимость проблемы первопорядковой определимости формул логики ветвящегося времени

Рыбаков М. Н., Чагрова Л. А., Программные продукты и системы 2018 Т. 31 № 3 С. 591–597

В качестве формального средства, описывающего свойства различных структур (в том числе структур вычислений), обычно используют язык логики предикатов. Этот язык, с одной стороны, понятен и удобен, а с другой, многие вопросы, важные с прикладной точки зрения, для него алгоритмически неразрешимы, то есть не могут быть решены программно. Сейчас существует много альтернативных языков, позволяющих описывать вычисления ...

Добавлено: 6 октября 2019 г.

Аксиоматизируемость ненормальных и квазинормальных модальных предикатных логик первопорядково определимых классов шкал Крипке

Рыбаков М. Н., Вестник Тверского государственного университета. Серия: Прикладная математика 2018 № 3 С. 81–94

Рассматривается вопрос о возможности эффективного описания ненормальных и квазинормальных предикатных модальных логик, определяемых семантически посредством классов шкал Крипке с выделенными мирами. Доказывается, что любая ненормальная или квазинормальная (в т. ч. нормальная) модальная предикатная логика, полная относительно некоторого первопорядково определимого класса шкал Крипке с выделенными мирами, погружается в классическую логику предикатов. Показано, как построить соответствующее погружение, ...

Добавлено: 6 октября 2019 г.

Why Don't 2D Jokes Fall Flat? A Two-dimensional Interpretation of Russell's Joke about the yachts

Горбатов В. В., / Series HUM "Humanities". 2016. No. 131.

Добавлено: 15 апреля 2016 г.