Тип публикации: статья из журнала
Год издания: 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 fПоказать полностьюormula $ \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. (Плеадес Паблишинг, Лтд)