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 条

[21] Decidability of the admissibility problem for inference rules in some S5t-logics
Kosheleva A.V.
Algebra and Logic, 2005, 44 (4) : 243 - 255
[22] SEMANTIC ADMISSIBILITY CRITERIA FOR DEDUCTION RULES IN S4 AND INT
RYBAKOV, VV
MATHEMATICAL NOTES, 1991, 50 (1-2) : 714 - 718
[23] FORMULAS IN MODAL LOGIC S4
Sasaki, Katsumi
REVIEW OF SYMBOLIC LOGIC, 2010, 3 (04): : 600 - 627
[24] Admissible inference rules for polymodal logic S5nC
Alekseev P.A.
Golovanov M.I.
Algebra and Logic, 1997, 36 (5) : 281 - 287
[25] Communication Logic on Multi-Modal Logic S5n
Matsuhisa, Takashi
PROCEEDING OF THE THIRD INTERNATIONAL CONFERENCE ON INTELLIGENT HUMAN COMPUTER INTERACTION (IHCI 2011), 2013, 179 : 197 - 206
[26] Path calculus in the modal logic S4
Norgėla S.
Lithuanian Mathematical Journal, 2005, 45 (1) : 94 - 101
[27] Classification of extensions of the modal logic S4
Maksimova, L. L.
SIBERIAN MATHEMATICAL JOURNAL, 2013, 54 (06) : 1064 - 1075
[28] Classification of extensions of the modal logic S4
L. L. Maksimova
Siberian Mathematical Journal, 2013, 54 : 1064 - 1075
[29] ON COMBINING INTUITIONISTIC AND S4 MODAL LOGIC
Rasga, Joao
Sernadas, Cristina
BULLETIN OF THE SECTION OF LOGIC, 2024,
[30] Classical Natural Deduction for S4 Modal Logic
Kimura, Daisuke
Kakutani, Yoshihiko
PROGRAMMING LANGUAGES AND SYSTEMS, PROCEEDINGS, 2009, 5904 : 243 - 258

← 1 2 3 4 5 →