错误:搜索内容不能为空,请输入英文关键词
错误:关键词超出字数限制,请精简
高级检索

Admissibility and Unification in the Modal Logics Related to S4.2

  • V. V. Rybakov

摘要

We study unification and admissibility for an infinite class of modal logics. Conditions superimposed to these logicsare 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).