Система натурального вывода для логики линейного временистатья

Статья опубликована в журнале из перечня ВАК

Работа с статьей

Прикрепленные файлы


Имя Описание Имя файла Размер Добавлен
1. Полный текст BolotovBashukovskiGrigorievShangin.pdf 708,1 КБ 6 июля 2013 [shangin]

[1] Система натурального вывода для логики линейного времени / А. Бащуковски, А. Е. Болотов, О. М. Григорьев, В. О. Шангин // Логические исследования. — 2006. — Т. 13. — С. 71–95. Sound and complete natural deduction calculi for the propositional linear-time temporal logic (PLTL) and computational tree logic (CTL) are presented. The systems extend the natural deduction construction of the classical propositional logic. This will open the prospect to apply the technique as an automatic reasoning tool in a deliberative decision making framework across various AI applications.

Публикация в формате сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл сохранить в файл скрыть