Журнал СФУ. Математика и физика / Допустимые правила временной нетранзитивной логики с оператором "завтра"

Полный текст (.pdf)
Номер
Журнал СФУ. Математика и физика. 2024 17 (3)
Авторы
Римацкий, Виталий В.; Ганчукова, Ольга В.
Контактная информация
Римацкий, Виталий В. : Сибирский федеральный университет Красноярск, Российская Федерация; Ганчукова, Ольга В. : Сибирский федеральный университет Красноярск, Российская Федерация
Ключевые слова
modal logic; frame and model Kripke; admissible and globally admissible inference rule; модальная логика; фрейм и модель Крипке; допустимое правило вывода; глобально допустимые правила вывода
Аннотация

В статье исследуется нетранзитивная временная логика с оператором "завтра". В этой логике оператор "необходимо" 2 совпадает с оператором "возможно" 3 (или почти совпадает в рефлексивном случае). Помимо базовых свойств рефлексивной нетранзитивной логики Lr (разрешимость, финитная аппроксимируемость) исследуются допустимые правила этой логики. Основной результат состоит в доказательстве структурной полноты данной логики и ее табличных расширений

Страницы
347–354
EDN
RXOCHG
Статья в архиве электронных ресурсов СФУ
https://elib.sfu-kras.ru/handle/2311/152850