- 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
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)