Journal of Siberian Federal University. Mathematics & Physics / Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"

Full text (.pdf)
Issue
Journal of Siberian Federal University. Mathematics & Physics. Prepublication
Authors
Rimatsky, Vitaliy V.; Ganchukova, Olga V.
Contact information
Rimatsky, Vitaliy V. : Siberian Federal University Krasnoyarsk, Russian Federation; ; Ganchukova, Olga V. : Siberian Federal University Krasnoyarsk, Russian Federation
Keywords
modal logic; frame and model Kripke; admissible and globally admissible inference rule
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

Pages
347–354
EDN
RXOCHG
Paper at repository of SibFU
https://elib.sfu-kras.ru/handle/2311/152850