{"title":"Admissible Inference Rules of Modal WCP-Logics","authors":"V. V. Rimatskiy","doi":"10.1134/s0037446624010142","DOIUrl":null,"url":null,"abstract":"<p>We study admissible rules\nfor the extensions of the modal logics S4\nand GL\nwith the weak co-covering property\nand describe some explicit independent basis for the admissible rules of these logics.\nThe resulting basis consists of an infinite sequence of rules\nin compact and simple form.</p>","PeriodicalId":0,"journal":{"name":"","volume":null,"pages":null},"PeriodicalIF":0.0,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":null,"platform":"Semanticscholar","paperid":null,"PeriodicalName":"","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1134/s0037446624010142","RegionNum":0,"RegionCategory":null,"ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"","JCRName":"","Score":null,"Total":0}
引用次数: 0
Abstract
We study admissible rules
for the extensions of the modal logics S4
and GL
with the weak co-covering property
and describe some explicit independent basis for the admissible rules of these logics.
The resulting basis consists of an infinite sequence of rules
in compact and simple form.
分享
京公网安备 11010802042870号
京ICP备2023020795号-1
求助内容：
应助结果提醒方式：
扫码关注我们
