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