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