Тип публикации: статья из журнала
Год издания: 2009
Ключевые слова: модальная логика, фрейм и модель Крипке, допустимое правило вывода, базис допустимых правил
Аннотация: Исследуются базисы для допустимых правил вывода широкого класса модальных логик. Построен явный базис для допустимых правил логик S4.1, Grz и их расширений, число которых по крайней мере счетно. Полученный базис состоит из бесконечной последовательности правил, которые имеют компактную и простую форму. В случае конечности ширины лоПоказать полностьюгики базис для допустимых правил также состоит из конечной последовательности правил.
Журнал: Сибирский математический журнал
Выпуск журнала: Т. 50, № 4
Номера страниц: 872-882
ISSN журнала: 00374474
Место издания: Новосибирск
Издатель: Федеральное государственное бюджетное учреждение науки Институт математики им. С.Л. Соболева Сибирского отделения Российской академии наук