Аннотация:
Исследуются правила вывода, допустимые сразу во всех финитно аппроксимируемых расширениях логики $S4$ со слабым свойством ко-накрытий. Получается явный базис для таких $WCP$-глобально допустимых правил. В случае табличности логик базис конечен, для финитно аппроксимируемых расширений доказывается независимость явного базиса.
Ключевые слова:фрейм Крипке, модель Крипке, допустимое правило вывода, базис допустимых правил.
Полный текст:
PDF файл (278 kB)