An admissibility criterion for inference rules with metavariables in the modal logic S4.αN

被引：0

作者：

Rutskii, A. N. ^{[1
]}

机构：

[1] Krasnoyarsk State Pedagog Univ, Krasnoyarsk, Russia

来源：

SIBERIAN MATHEMATICAL JOURNAL | 2007年 / 48卷 / 02期

关键词：

admissible inference rule; metavariable; modal logic; inference rule;

D O I：

10.1007/s11202-007-0033-1

中图分类号：

O1 [数学];

学科分类号：

0701 ; 070101 ;

摘要：

Using the criterion of this paper, we solve the substitution problem and obtain an algorithm for determining the solvability of logical equations in the modal logic S4.alpha(N). Another corollary of the criterion is the solvability of the corresponding quasiequational theory of the free modal algebra whose signature is enriched with constants for the free generators.

引用

下载

页码：317 / 326

页数：10

共 50 条

[1] An admissibility criterion for inference rules with metavariables in the modal logic S4.αN
A. N. Rutskii
Siberian Mathematical Journal, 2007, 48 : 317 - 326
[2] CRITERION OF ADMISSIBILITY FOR THE DEDUCTION RULES IN MODAL AND INTUITIONISTIC LOGIC
RYBAKOV, VV
DOKLADY AKADEMII NAUK SSSR, 1985, 284 (03): : 538 - 541
[3] Inference rules with metavariables and logical equations in the pretabular modal logic PM 1
Kiyatkin, VR
SIBERIAN MATHEMATICAL JOURNAL, 2000, 41 (01) : 74 - 80
[4] Inference rules with metavariables and logical equations in the pretabular modal logic PM1
V. R. Kiyatkin
Siberian Mathematical Journal, 2000, 41 : 74 - 80
[5] Loop-free calculus for modal logic S4. I
Julius Andrikonis
Lithuanian Mathematical Journal, 2012, 52 : 1 - 12
[6] Loop-free calculus for modal logic S4. II
Julius Andrikonis
Lithuanian Mathematical Journal, 2012, 52 : 123 - 133
[7] LOOP-FREE CALCULUS FOR MODAL LOGIC S4. I
Andrikonis, Julius
LITHUANIAN MATHEMATICAL JOURNAL, 2012, 52 (01) : 1 - 12
[8] A Criterion for Admissibility of Inference Rules in Some Class of S4-Logics Without the Branching Property
E. M. Golovanova
Siberian Mathematical Journal, 2003, 44 : 568 - 576
[9] A criterion for admissibility of inference rules in some class of S4-logics without the branching property
Golovanova, EM
SIBERIAN MATHEMATICAL JOURNAL, 2003, 44 (04) : 568 - 576
[10] Inference Rules in Nelson's Logics, Admissibility and Weak Admissibility
Odintsov, Sergei
Rybakov, Vladimir
LOGICA UNIVERSALIS, 2015, 9 (01) : 93 - 120

← 1 2 3 4 5 →