Admissible inference rules of temporal intransitive logic with the operator "tomorrow"

В статье исследуется нетранзитивная временная логика с оператором "завтра". В этой логике оператор "необходимо" $\Box$ совпадает с оператором "возможно" $\Diamond$ (или почти совпадает в рефлексивном случае). Помимо базовых свойств рефлексивной нетранзитивной логики ${{\mathcal L}}^r$ (разрешимость, финитная аппроксимируемость) исследуются допустимые правила этой логики. Основной результат состоит в доказательстве структурной полноты данной логики и ее табличных расширений.