Admissible Inference Rules of Modal WCP-Logics

IF 0.7 4区数学 Q2 MATHEMATICS

Siberian Mathematical Journal Pub Date : 2024-02-07 DOI:10.1134/s0037446624010142

V. V. Rimatskiy

引用次数: 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.

查看原文本刊更多论文

模态 WCP 逻辑的可容许推理规则

我们研究了具有弱共盖性质的模态逻辑 S4 和 GL 扩展的可容许规则，并为这些逻辑的可容许规则描述了一些明确的独立基础。

本文章由计算机程序翻译，如有差异，请以英文原文为准。

求助全文

约1分钟内获得全文求助全文

来源期刊

Siberian Mathematical Journal 数学-数学

CiteScore

1.00

自引率

20.00%

发文量

审稿时长

4-8 weeks

期刊介绍： 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.