Тип публикации: статья из журнала
Год издания: 2008
Ключевые слова: модальная логика, фрейм и модель Крипке, допустимое правило вывода, базис допустимых правил
Аннотация: В статье описывается явный конечный базис для допустимых правил вывода модальных логик конечной ширины, расширяющих логику S4. Полученный базис состоит из последовательности правил, которые имеют компактную и легко обозримую форму.
Журнал: Журнал Сибирского федерального университета. Серия: Математика и физика
Выпуск журнала: Т. 1, № 1
Номера страниц: 85-93
ISSN журнала: 19971397
Место издания: Красноярск
Издатель: Федеральное государственное автономное образовательное учреждение высшего образования Сибирский федеральный университет