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