Допустимые правила временной нетранзитивной логики с оператором &quot;завтра&quot;

Rimatsky, Vitaliy V.; Ganchukova, Olga V.; Римацкий, Виталий В.; Ганчукова, Ольга В.

Допустимые правила временной нетранзитивной логики с оператором "завтра"

Rimatsky, Vitaliy V., Ganchukova, Olga V., Римацкий, Виталий В., Ганчукова, Ольга В.

Дата публикации: 2024-05

Дата публикации в реестре: 2024-04-15T12:34:59Z

Аннотация:

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

Ключевые слова:
modal logic, frame and model Kripke, admissible and globally admissible inference rule, модальная логика, фрейм и модель Крипке, допустимое правило вывода, глобально допустимые правила вывода

Тип: Journal Article