Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK

Тип публикации: статья из журнала

Год издания: 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

Авторы

  • Bashmakov Stepan I. (Siberian Fed Univ, Inst Math & Comp Sci, Svobodny 79, Krasnoyarsk 660041, Russia)

Вхождение в базы данных

Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.

Вы можете отметить интересные фрагменты текста, которые будут доступны по уникальной ссылке в адресной строке браузера.