|
This article is cited in 4 scientific papers (total in 4 papers)
Unification and inference rules in the multi-modal logic of knowledge and linear time LTK
Stepan I. Bashmakov Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny, 79, Krasnoyarsk, 660041, Russia
Abstract:
We study unification of formulas in multi-modal LTK logic and give a syntactic description of all formulas which are non-unificable in this logic. Passive inference rules are considered, it is shown that in LTK logic there is a finite basis for passive rules.
Keywords:
unification, modal temporal logic, passive inference rules.
Received: 10.12.2015 Received in revised form: 10.01.2016 Accepted: 15.02.2016
Citation:
Stepan I. Bashmakov, “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, J. Sib. Fed. Univ. Math. Phys., 9:2 (2016), 149–157
Linking options:
https://www.mathnet.ru/eng/jsfu470 https://www.mathnet.ru/eng/jsfu/v9/i2/p149
|
Statistics & downloads: |
Abstract page: | 315 | Full-text PDF : | 57 | References: | 31 |
|