Явный базис допустимых правил вывода логик конечной ширины : научное издание

Описание

Тип публикации: статья из журнала

Год издания: 2008

Ключевые слова: модальная логика, фрейм и модель Крипке, допустимое правило вывода, базис допустимых правил

Аннотация: В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму.

Ссылки на полный текст

Издание

Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика

Выпуск журнала: Т. 1, 1

Номера страниц: 85-93

ISSN журнала: 19971397

Место издания: Красноярск

Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет

Авторы

Вхождение в базы данных