Тип публикации: статья из журнала
Год издания: 2023
Ключевые слова: ФРЕЙМ КРИПКЕ, МОДЕЛЬ КРИПКЕ, ДОПУСТИМОЕ ПРАВИЛО ВЫВОДА, БАЗИС ДОПУСТИМЫХ ПРАВИЛ
Аннотация: Исследуются правила вывода, допустимые сразу во всех финитно аппроксимируемых расширениях логики S4 со слабым свойством ко-накрытий. Получается явный базис для таких WCP-глобально допустимых правил. В случае табличности логик базис конечен, для финитно аппроксимируемых расширений доказывается независимость явного базиса.
Издание
Журнал: Алгебра и логика
Номера страниц: 219-246
ISSN журнала: 03739252
Место издания: Новосибирск
Персоны
- Римацкий В. В. (Сибирский федеральный университет)
Вхождение в базы данных
- РИНЦ (eLIBRARY.RU)
- Scopus
Информация о публикациях загружается с сайта службы поддержки публикационной активности СФУ. Сообщите, если заметили неточности.