Admissible Inference Rules of Modal WCP-Logics

期刊论文
发表日期：

2024年1月1日

查看全文

V. V. Rimatskiy

摘要

We study admissible rulesfor the extensions of the modal logics S4and GLwith the weak co-covering propertyand describe some explicit independent basis for the admissible rules of these logics.The resulting basis consists of an infinite sequence of rulesin compact and simple form.