Аннотация:
Исследуется проблема разрешимости глобально допустимых правил логики $S4$. Для правил, модель для которых удовлетворяет некоторым естественным свойствам, получено необходимое и достаточное условие глобальной допустимости в логике $S4 \ (Grz)$. Указанные свойства модели $ {\mathfrak M} (r, X) $ не зависят от выбора заданной логики, что позволило применить технику истинности правила на $n$-характеристической модели. На основе полученного описания построен алгоритм проверки глобальной допустимости произвольного правила в редуцированной форме. Таким образом, проблема глобальной допустимости в логике $S4 \ (Grz)$ разрешима.
Ключевые слова:
модальная логика, фрейм и модель Крипке, допустимое правило вывода, глобально допустимые правила вывода.
Полный текст:
PDF файл (784 kB)