Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
Скачать файл:
URI (для ссылок/цитирований):
https://elib.sfu-kras.ru/handle/2311/27958Автор:
Башмаков, С. И.
Коллективный автор:
Институт математики и фундаментальной информатики
Кафедра алгебры и математической логики
Дата:
2016-05Журнал:
Journal of Siberian Federal University - Mathematics and PhysicsКвартиль журнала в Scopus:
Q4Библиографическое описание:
Башмаков, С. И. Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK [Текст] / С. И. Башмаков // Journal of Siberian Federal University - Mathematics and Physics: Mathematics and Physics. — 2016. — Т. 9 (№ 2). — С. 149-157Аннотация:
В статье исследуется унификация формул в многомодальной логике LTK и предложено синтаксическое описание всех формул, которые не являются унифицируемыми в данной логике. Рассмотрен вопрос пассивных правил вывода, показано, что в логике LTK есть конечный базис для пассивных правил