Эта публикация цитируется в
1 статье
Алгебро-логические методы в информатике и искусственный интеллект
Satisfiability problem in interval FP-logic
[Проблема выполнимости в интервальной FP-логике]
Nikita A. Protsenko,
Vladimir V. Rybakov,
Vitaliy V. Rimatskiy Siberian Federal University, Krasnoyarsk, Russian Federation
Аннотация:
Исследуется интервальная модальная логика, в которой действие модального оператора
$\Diamond$ ограничено границами интервала. Кроме того, язык модальной логики расширен оператором
$D (\alpha, \beta)$, истинность которого определяется качественно: он истиннен, только если число точек на отрезке
$[c_i, c_{i+1}] $, в которых истинна формула
$\alpha$, строго меньше числа точек этого отрезка, в которых истинна формула
$\beta$. Решается проблема выполнимости формул, и как следствие, разрешимость логики.
Ключевые слова:
модальная логика, фрейм и модель Крипке, выполнимость формул, проблема выполнимости в логике, разрешимость логики.
УДК:
510.665,
510.643
MSC: 03B45,
03H05 Поступила в редакцию: 18.01.2023
Исправленный вариант: 13.03.2023
Принята в печать: 20.03.2023
Язык публикации: английский
DOI:
10.26516/1997-7670.2023.44.98