Тип публикации: статья из журнала
Год издания: 2024
Ключевые слова: модальная логика, фрейм и модель Крипке, допустимое правило вывода, базис допустимых правил
Аннотация: Исследуются допустимые правила расширений модальных логик S4 и GL со слабым свойством ко-накрытий. Для таких логик описывается явный независимый базис для допустимых правил. Полученный базис состоит из бесконечной последовательности правил, которые имеют компактную и простую форму.
Журнал: Сибирский математический журнал
Выпуск журнала: Т.65, №1
Номера страниц: 180-197
ISSN журнала: 00374474
Место издания: Новосибирск
Издатель: Сибирское отделение РАН, Институт математики им. С.Л. Соболева СО РАН