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

Bashmakov, Stepan I.; Башмаков, Степан И.

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

Bashmakov, Stepan I., Башмаков, Степан И.

Дата публикации: 2016-06

Дата публикации в реестре: 2020-03-13T23:22:37Z

Аннотация:

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

Ключевые слова:
unification, modal temporal logic, passive inference rules, унификация, модальная темпоральная логика, пассивные правила вывода

Тип: Journal Article