K-modal BL-logic

被引：0

作者：

Haveshki, Masoud ^{[1
]}

Mohamadhasani, Mahboobeh ^{[1
]}

机构：

[1] Univ Hormozgan, Dept Math, POB 3995, Bandarabbas, Iran

来源：

JOURNAL OF MULTIPLE-VALUED LOGIC AND SOFT COMPUTING | 2023年 / 40卷 / 3-4期

关键词：

BL-logic; K-modal BL-logic; soundness theorem;

D O I：

暂无

中图分类号：

TP18 [人工智能理论];

学科分类号：

081104 ; 0812 ; 0835 ; 1405 ;

摘要：

Eslami et al. [Journal of Intelligent & Fuzzy systems, 29:337-388, (2015)] introduced K-modal BL-logic and claimed this logic is sound with respect to K-modal BL-algebras. We prove this claim is wrong. We construct a new logic and prove this logic is sound and complete with respect to K-modal BL-algebras.

引用

页码：401 / 414

页数：14

共 50 条

[41] PSPACE complexity of modal logic K D45n
A. Birštunas
Lithuanian Mathematical Journal, 2008, 48
[42] Blending margins: the modal logic K has nullary unification type
Jerabek, Emil
JOURNAL OF LOGIC AND COMPUTATION, 2015, 25 (05) : 1231 - 1240
[43] PSPACE complexity of modal logic K D45n
Birstunas, A.
LITHUANIAN MATHEMATICAL JOURNAL, 2008, 48 (02) : 174 - 187
[44] MODAL LOGIC AND THE THEORY OF MODAL AGGREGATION
SCHOTCH, PK
JENNINGS, RE
PHILOSOPHIA, 1980, 9 (02) : 265 - 278
[45] PARANORMAL MODAL LOGIC PART I The System K-? and the Foundations of the Logic of Skeptical and Credulous Plausibility
Silvestre, Ricardo S.
LOGIC AND LOGICAL PHILOSOPHY, 2012, 21 (01) : 65 - 95
[46] REDUCTION OF TENSE LOGIC TO MODAL LOGIC
THOMASON, SK
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A12 - A12
[47] Nagarjunian-Yogacarian Modal Logic versus Aristotelian Modal Logic
Schumann, Andrew
JOURNAL OF INDIAN PHILOSOPHY, 2021, 49 (03) : 467 - 498
[48] Justification logic for constructive modal logic
Kuznets, Roman
Marin, Sonia
Straßburger, Lutz
Journal of Applied Logics, 2021, 8 (08): : 2313 - 2332
[49] Hybrid logic meets IF modal logic
Tulenheimo T.
Journal of Logic, Language and Information, 2009, 18 (4) : 559 - 591
[50] JUSTIFICATION LOGIC FOR CONSTRUCTIVE MODAL LOGIC
Kuznets, Roman
Marin, Sonia
Strassburger, Lutz
JOURNAL OF APPLIED LOGICS-IFCOLOG JOURNAL OF LOGICS AND THEIR APPLICATIONS, 2021, 8 (08): : 2313 - 2332

← 1 2 3 4 5 →