Известия Иркутского государственного университета. Серия «Математика»
RUS  ENG    ЖУРНАЛЫ   ПЕРСОНАЛИИ   ОРГАНИЗАЦИИ   КОНФЕРЕНЦИИ   СЕМИНАРЫ   ВИДЕОТЕКА   ПАКЕТ AMSBIB  
Общая информация
Последний выпуск
Архив

Поиск публикаций
Поиск ссылок

RSS
Последний выпуск
Текущие выпуски
Архивные выпуски
Что такое RSS



Известия Иркутского государственного университета. Серия Математика:
Год:
Том:
Выпуск:
Страница:
Найти






Персональный вход:
Логин:
Пароль:
Запомнить пароль
Войти
Забыли пароль?
Регистрация


Известия Иркутского государственного университета. Серия «Математика», 2023, том 44, страницы 108–115
DOI: https://doi.org/10.26516/1997-7670.2023.44.108
(Mi iigum529)
 

Алгебро-логические методы в информатике и искусственный интеллект

Formulas expressing totally nonstable truth values of formulas
[Формулы, выражающие тотальную нестабильность истинностных значений формул]

Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich

Siberian Federal University, Krasnoyarsk, Russian Federation
Список литературы:
Аннотация: Рассматривается проблема нестабильности истинностных значений формул. Исследуется временная модальная логика на предмет описания надёжности информации. Логика сама по себе порождена стандартными моделями линейного времени. Рассматриваются интервалы нестабильности истинности формул в этих моделях. Это означает, что формула перманентно и в разумно большое время меняет свою истинность с истины на ложь и наоборот. Создается специальная техника и находится алгоритм, который позволит распознавать перманентную нестабильность истинности формул.
Ключевые слова: модальная логика, фрейм и модель Крипке, выполнимость формул, разрешимость логики.
Финансовая поддержка Номер гранта
Российский научный фонд 23-21-00213
Работа выполнена при финансовой поддержке РНФ (проект 23-21-00213).
Поступила в редакцию: 21.01.2023
Исправленный вариант: 14.03.2021
Принята в печать: 20.03.2023
Тип публикации: Статья
УДК: 510.665, 510.643
MSC: 03B45, 03H05
Язык публикации: английский
Образец цитирования: Vladimir V. Rybakov, Vladimir R. Kiyatkin, Konstantin V. Grekovich, “Formulas expressing totally nonstable truth values of formulas”, Известия Иркутского государственного университета. Серия Математика, 44 (2023), 108–115
Цитирование в формате AMSBIB
\RBibitem{RybKiyGre23}
\by Vladimir~V.~Rybakov, Vladimir~R.~Kiyatkin, Konstantin~V.~Grekovich
\paper Formulas expressing totally nonstable truth values of formulas
\jour Известия Иркутского государственного университета. Серия Математика
\yr 2023
\vol 44
\pages 108--115
\mathnet{http://mi.mathnet.ru/iigum529}
\crossref{https://doi.org/10.26516/1997-7670.2023.44.108}
Образцы ссылок на эту страницу:
  • https://www.mathnet.ru/rus/iigum529
  • https://www.mathnet.ru/rus/iigum/v44/p108
  • Citing articles in Google Scholar: Russian citations, English citations
    Related articles in Google Scholar: Russian articles, English articles
    Статистика просмотров:
    Страница аннотации:80
    PDF полного текста:40
    Список литературы:9
     
      Обратная связь:
     Пользовательское соглашение  Регистрация посетителей портала  Логотипы © Математический институт им. В. А. Стеклова РАН, 2024