{"title":"模态 WCP 逻辑的可容许推理规则","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":49533,"journal":{"name":"Siberian Mathematical Journal","volume":"17 1","pages":""},"PeriodicalIF":0.7000,"publicationDate":"2024-02-07","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":"0","resultStr":"{\"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\":49533,\"journal\":{\"name\":\"Siberian Mathematical Journal\",\"volume\":\"17 1\",\"pages\":\"\"},\"PeriodicalIF\":0.7000,\"publicationDate\":\"2024-02-07\",\"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/s0037446624010142\",\"RegionNum\":4,\"RegionCategory\":\"数学\",\"ArticlePicture\":[],\"TitleCN\":null,\"AbstractTextCN\":null,\"PMCID\":null,\"EPubDate\":\"\",\"PubModel\":\"\",\"JCR\":\"Q2\",\"JCRName\":\"MATHEMATICS\",\"Score\":null,\"Total\":0}","platform":"Semanticscholar","paperid":null,"PeriodicalName":"Siberian Mathematical Journal","FirstCategoryId":"100","ListUrlMain":"https://doi.org/10.1134/s0037446624010142","RegionNum":4,"RegionCategory":"数学","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":null,"EPubDate":"","PubModel":"","JCR":"Q2","JCRName":"MATHEMATICS","Score":null,"Total":0}
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.
期刊介绍：
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
分享
求助内容：
应助结果提醒方式：
扫码关注我们
