Тип публикации: статья из журнала
Год издания: 2016
Идентификатор DOI: 10.17516/1997-1397-2016-9-2-149-157
Ключевые слова: unification, modal temporal logic, passive inference rules
Аннотация: 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 ru
Журнал: JOURNAL OF SIBERIAN FEDERAL UNIVERSITY-MATHEMATICS & PHYSICS
Выпуск журнала: Vol. 9, Is. 2
Номера страниц: 149-157
ISSN журнала: 19971397
Место издания: KRASNOYARSK
Издатель: SIBERIAN FEDERAL UNIV