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