1. Главная
  2. Ресурсы
  3. Библиотечный поиск
  4. Журнал Сибирского федерального университета. Математика и физика
  5. Выпуск 2016 г. Том 9. № 2

Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK
статья из журнала

Полный текстЗаказать копию статьи
База данных: Каталог библиотеки СФУ (B 29)
Библиографическое описание: Bashmakov, Stepan. Unification and Inference Rules in the Multi-modal Logic of Knowledge and Linear Time LTK = Унификация и правила вывода в многомодальной логике знания и линейного времени LTK / S. I. Bashmakov. - Текст : непосредственный // Журнал Сибирского федерального университета. Математика и физика. - 2016. - Т. 9, № 2. - С. 149-157. - Библиогр.: с. 155-157. - ISSN 1997-1397.
Аннотация: В статье исследуется унификация формул в многомодальной логике LTK и предложено синтаксическое описание всех формул, которые не являются унифицируемыми в данной логике. Рассмотрен вопрос пассивных правил вывода, показано, что в логике LTK есть конечный базис для пассивных правил.
Год издания: 2016
Авторы: Bashmakov Stepan
Источник: Журнал Сибирского федерального университета. Математика и физика
Выпуск: Т. 9, № 2
Номера страниц: 149-157
Количество экземпляров:

Всего свободно 5 из 5 экземпляров.

  • Информационно-библиографический отдел (пр. Свободный, 79, к. Б3-09): свободно 1 из 1 экземпляров
  • Книгохранилище научной литературы (пр. Свободный, 79, 3 этаж): свободно 1 из 1 экземпляров
  • Читальный зал (пер. Вузовский, 6Д): свободно 2 из 2 экземпляров
  • Информационно-библиографический отдел (ул. Лиды Прушинской, 2, к. 3-06): свободно 1 из 1 экземпляров