Representation and reduction of decision system based on semantics of extended propositional modal logic

被引：0

作者：

Zhang, Xiaoru ^{[1
]}

Zhang, Zaiyue ^{[1
]}

Cao, Cungen ^{[2
]}

Huang, Zhisheng ^{[3
]}

机构：

[1] School of computer Science and Engineering of Jiangsu University of Sci. and Tech., China

[2] Institute of Computing Technology, The Chinese Academy of Science, Beijing 100190, China

[3] The Department of Artificial Intelligence, Vrije University of Amsterdam, Netherlands

来源：

Journal of Computational Information Systems | 2011年 / 7卷 / 11期

关键词：

D O I：

暂无

中图分类号：

学科分类号：

摘要：

引用

页码：4071 / 4081

共 50 条

[1] ALTERNATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC
HANSON, WH
JOURNAL OF SYMBOLIC LOGIC, 1974, 39 (02) : 402 - 403
[2] COMPARATIVE SEMANTICS FOR PROPOSITIONAL MODAL LOGIC - PRELIMINARY REPORT
GERSON, MS
NOTICES OF THE AMERICAN MATHEMATICAL SOCIETY, 1974, 21 (01): : A22 - A22
[3] Propositional logic and modal logic-A connection via relational semantics
Zhong, Shengyang
JOURNAL OF LOGIC AND COMPUTATION, 2024,
[4] Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Pan, Xiaodong
Xu, Yang
INTERNATIONAL JOURNAL OF COMPUTATIONAL INTELLIGENCE SYSTEMS, 2015, 8 : 85 - 93
[5] Semantics of Propositional Fuzzy Modal Logic with Evaluated Syntax and its Application to Fuzzy Decision Implications
Xiaodong Pan
Yang Xu
International Journal of Computational Intelligence Systems, 2015, 8 : 85 - 93
[6] BELIEF CLOSURE - A SEMANTICS OF COMMON KNOWLEDGE FOR MODAL PROPOSITIONAL LOGIC
LISMONT, L
MONGIN, P
MATHEMATICAL SOCIAL SCIENCES, 1995, 30 (02) : 127 - 153
[7] SEMANTICS OF PROPOSITIONAL FUZZY MODAL LOGIC WITH EVALUATED SYNTAX BASED ON MV-ALGEBRAS
Pan, Xiaodong
Jia, Hairui
Xu, Yang
Xu, Weitao
DECISION MAKING AND SOFT COMPUTING, 2014, 9 : 346 - 353
[8] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Kaminski, Michael
Francez, Nissim
STUDIA LOGICA, 2014, 102 (03) : 479 - 497
[9] Relational Semantics of the Lambek Calculus Extended with Classical Propositional Logic
Michael Kaminski
Nissim Francez
Studia Logica, 2014, 102 : 479 - 497
[10] A formal system for propositional extended IF logic
Xu, Wen-Yan
Ruan Jian Xue Bao/Journal of Software, 2015, 26 (09): : 2278 - 2285

← 1 2 3 4 5 →