ADMISSIBLE INFERENCE RULES OF MODAL WCP-LOGICS

被引：0

作者：

Rimatskiy, V. V. ^{[1
]}

机构：

[1] Siberian Fed Univ, Krasnoyarsk, Russia

来源：

SIBERIAN MATHEMATICAL JOURNAL | 2024年 / 65卷 / 01期

基金：

俄罗斯科学基金会;

关键词：

modal logic; Kripke frame; Kripke model; admissible inference rule; basis of admissible rules; EXPLICIT BASIS;

D O I：

10.1134/S0037446624010142

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

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.

引用

页码：153 / 166

页数：14

共 21 条

[11] Rimatskii VV., 2022, Diskr. Mat, V34, P126, DOI [10.4213/dm1677, DOI 10.4213/DM1677]
[12] Finite bases with respect to admissibility for modal logics of width 2
Rimatskii V.V.
[J]. Algebra and Logic, 1999, 38 (4) : 237 - 247
[13] Rimatskiy VV, 2008, J SIB FED UNIV-MATH, V1, P85
[14] Rybakov V. V., 1997, Admissibility of Logical Inference Rules
[15] Rybakov V.V., 1985, Algebra and Logic, V24, P55
[16] Rybakov V. V., 1999, Bull. Sect. Log., Univ. L odz, Dep. Log., V28, P145
[17] Rybakov VV, 2000, MATH LOGIC QUART, V46, P207, DOI 10.1002/(SICI)1521-3870(200005)46:2<207::AID-MALQ207>3.0.CO
[18] 2-E
[19] Rybakov VV, 2001, MATH LOGIC QUART, V47, P441, DOI 10.1002/1521-3870(200111)47:4<441::AID-MALQ441>3.0.CO
[20] 2-J

← 1 2 3 →