Journal of Siberian Federal University. Mathematics & Physics / Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

Full text (.pdf)
Issue
Journal of Siberian Federal University. Mathematics & Physics. 2016 9 (2)
Authors
Bashmakov, Stepan I.
Contact information
Bashmakov, Stepan I.:Institute of Mathematics and Computer Science Siberian Federal University Svobodny, 79, Krasnoyarsk, 660041 Russia;
Keywords
unification; modal temporal logic; passive inference rules
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

Pages
149–157
Paper at repository of SibFU
https://elib.sfu-kras.ru/handle/2311/20238