Тип публикации: статья из журнала
Год издания: 2023
Идентификатор DOI: 10.26516/1997-7670.2023.44.108
Ключевые слова: modal logic, frame and model Kripke, satisfiability problem, decidability of logic, модальная логика, фрейм и модель Крипке, выполнимость формул, разрешимость логики
Аннотация: In this short paper we consider problem of nonstable truth values of formulas. We investigate temporal-modal logic for description of reliability information. The logic itself is generated by rather standard models on linear time. We consider intervals of nonstable truth values of formulas. This mean that the formula permanently anПоказать полностьюd for a reasonably big time change its truth from true to false and vice versa. We aim to construct some technique and to find an algorithm which may recognize permanently nonstable formulas. Рассматривается проблема нестабильности истинностных значений формул. Исследуется временная модальная логика на предмет описания надёжности информации. Логика сама по себе порождена стандартными моделями линейного времени. Рассматриваются интервалы нестабильности истинности формул в этих моделях. Это означает, что формула перманентно и в разумно большое время меняет свою истинность с истины на ложь и наоборот. Создается специальная техника и находится алгоритм, который позволит распознавать перманентную нестабильность истинности формул.
Журнал: Известия Иркутского государственного университета. Серия: Математика
Выпуск журнала: Т.44
Номера страниц: 108-115
ISSN журнала: 19977670
Место издания: Иркутск
Издатель: Иркутский государственный университет