Stepan I. Bashmakov, “Unification and inference rules in the multi-modal logic of knowledge and linear time LTK”, Журн. СФУ. Сер. Матем. и физ., 2016, том 9, выпуск 2,страницы 149

Эта публикация цитируется в 4 статьях

Unification and inference rules in the multi-modal logic of knowledge and linear time LTK

[Унификация и правила вывода в многомодальной логике знания и линейного времени LTK]

Stepan I. Bashmakov

Institute of Mathematics and Computer Science, Siberian Federal University, Svobodny, 79, Krasnoyarsk, 660041, Russia

Аннотация: В статье исследуется унификация формул в многомодальной логике LTK и предложено синтаксическое описание всех формул, которые не являются унифицируемыми в данной логике. Рассмотрен вопрос пассивных правил вывода, показано, что в логике LTK есть конечный базис для пассивных правил.

Ключевые слова: унификация, модальная темпоральная логика, пассивные правила вывода.

УДК: 510.643

Получена: 10.12.2015
Исправленный вариант: 10.01.2016
Принята: 15.02.2016

Язык публикации: английский

DOI: 10.17516/1997-1397-2016-9-2-149-157