Сибирский федеральный университет

Тип публикации: статья из журнала

Год издания: 2024

Идентификатор DOI: 10.1134/S0037446624010154

Ключевые слова: modal logic, unification, Admissibility problem, Computation of unifiers, Projective formulas, Admissible rules

Аннотация: We study unification and admissibility for an infinite class of modal logics. Conditions superimposed to these logics are to be decidable, Kripke complete, and generated by the classes of rooted frames possessing the greatest clusters of states (in particular, these logics extend modal logic S4.2). Given such logic $ L $ and each formula $ \alpha $ unifiable in $ L $, we construct a unifier $ \sigma $ for $ \alpha $ in $ L $, where $ \sigma $ verifies admissibility in $ L $ of arbitrary inference rules $ \alpha/\beta $ with a switched-modality conclusions $ \beta $ (i.e., $ \sigma $ solves the admissibility problem for such rules).

Журнал: Siberian Mathematical Journal

Выпуск журнала: Т.65, №1

Номера страниц: 167-173

ISSN журнала: 00374466

Место издания: Новосибирск

Издатель: Pleiades Publishing, Ltd. (Плеадес Паблишинг, Лтд)

• Rybakov V.V. (A.P. Ershov Institute of Informatics Systems)

• Ядро РИНЦ (eLIBRARY.RU)