Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"
Author:
Rimatsky, Vitaliy V.
Ganchukova, Olga V.
Римацкий, Виталий В.
Ганчукова, Ольга В.
Date:
2024-05Journal Name:
Журнал сибирского федерального университета. 2024 17(3). Journal of Siberian Federal University. Mathematics & Physics. 2024 17(3)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
(разрешимость, финитная аппроксимируемость) исследуются допустимые правила этой логики.
Основной результат состоит в доказательстве структурной полноты данной логики и ее табличных
расширений