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