Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"

Abstract

We investigates non-transitive temporal logic with the "tomorrow" operator. In this logic, the operator "necessary" 2 coincides with the operator “possible” 3 (or almost coincides in reflexive case). In addition to the basic properties of the reflexive non-transitive logic Lr (decidability, finite approximability), admissible rules of this logic are investigated. The main result consists in proving the structural completeness of this logic and its tabular extensions

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