- 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
Journal of Siberian Federal University. Mathematics & Physics / Admissible Inference Rules of Temporal Intransitive Logic with the Operator "tomorrow"
Full text (.pdf)