{"title":"Admissibility and Unification in the Modal Logics Related to S4.2","authors":"","doi":"10.1134/s0037446624010154","DOIUrl":null,"url":null,"abstract":"<h3>Abstract</h3> <p>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 <span> <span>\\( L \\)</span> </span> and each formula <span> <span>\\( \\alpha \\)</span> </span> unifiable in <span> <span>\\( L \\)</span> </span>, we construct a unifier <span> <span>\\( \\sigma \\)</span> </span> for <span> <span>\\( \\alpha \\)</span> </span> in <span> <span>\\( L \\)</span> </span>, where <span> <span>\\( \\sigma \\)</span> </span> verifies admissibility in <span> <span>\\( L \\)</span> </span> of arbitrary inference rules <span> <span>\\( \\alpha/\\beta \\)</span> </span> with a switched-modality conclusions <span> <span>\\( \\beta \\)</span> </span> (i.e., <span> <span>\\( \\sigma \\)</span> </span> solves the admissibility problem for such rules).</p>","PeriodicalId":49533,"journal":{"name":"Siberian Mathematical Journal","volume":null,"pages":null},"PeriodicalIF":0.7000,"publicationDate":"2024-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"Siberian Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1134/s0037446624010154","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
引用次数: 0
Abstract
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 is journal published in collaboration with the Sobolev Institute of Mathematics in Novosibirsk. The journal publishes the results of studies in various branches of mathematics.
京公网安备 11010802042870号
京ICP备2023020795号-1
分享
求助内容：
应助结果提醒方式：
扫码关注我们
