Сибирский федеральный университет 
- Номер
- Журнал СФУ. Математика и физика. 2016 9 (2)
- Авторы
- Башмаков, Степан И.
- Контактная информация
- Башмаков, Степан И.:Институт математики и фундаментальной информатики Сибирский федеральный университет Свободный, 79, Красноярск, 660041 Россия
- Ключевые слова
- unification; modal temporal logic; passive inference rules; унификация; модальная темпоральная логика; пассивные правила вывода
- Аннотация
В статье исследуется унификация формул в многомодальной логике LTK и предложено синтак- сическое описание всех формул, которые не являются унифицируемыми в данной логике. Рас- смотрен вопрос пассивных правил вывода, показано, что в логике LTK есть конечный базис для пассивных правил
- Страницы
- 149–157
- Статья в архиве электронных ресурсов СФУ
- https://elib.sfu-kras.ru/handle/2311/20238
Журнал СФУ. Математика и физика / Унификация и правила вывода в многомодальной логике знания и линейного времени LTK
Полный текст (.pdf)