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 条

[1] ADMISSIBLE RULES OF INTUITIONISTIC PROPOSITIONAL LOGIC
CITKIN, AI
[J]. MATHEMATICS OF THE USSR-SBORNIK, 1977, 31 (02): : 279 - 288
[2] An explicit basis for the admissible inference rules in the Godel-Lob logic GL
Fedorishin, B. R.
[J]. SIBERIAN MATHEMATICAL JOURNAL, 2007, 48 (02) : 339 - 345
[3] Friedman H., 1975, J. Symb. Log., V40, P113, DOI 10.2307/2271891
[4] Harrop Ronald., 1960, J SYMBOLIC LOGIC, V25, P27
[5] On the admissible rules of intuitionistic propositional logic
Iemhoff, R
[J]. JOURNAL OF SYMBOLIC LOGIC, 2001, 66 (01) : 281 - 294
[6] Admissible rules of modal logics
Jerábek, E
[J]. JOURNAL OF LOGIC AND COMPUTATION, 2005, 15 (04) : 411 - 431
[7] Independent bases of admissible rules
Jerabek, Emil
[J]. LOGIC JOURNAL OF THE IGPL, 2008, 16 (03) : 249 - 267
[8] Lorenzen P., 1955, Einfung in Operative Logik und Mathematik, DOI [10.1007/978-3-662-01539-1, DOI 10.1007/978-3-662-01539-1]
[9] Mints G E., 1976, J. Soviet Math, V6, P417, DOI 10.1007/BF01084082
[10] THE DEDUCIBILITIES OF S5
PORTE, J
[J]. JOURNAL OF PHILOSOPHICAL LOGIC, 1981, 10 (04) : 409 - 422

← 1 2 3 →