A resolution-based calculus for Coalition Logic
A resolution-based calculus for Coalition Logic
复制标题
基于解析的联盟逻辑演算
DOI：
10.1093/logcom/ext074
复制
发表时间：
2014-08
影响因子：
0.7
通讯作者：
Ullrich Hustadt
中科院分区：
文献类型：
--
作者：
Claudia Nalon;章岚;Clare Dixon;Ullrich Hustadt
我们提出了一个基于分辨率的演算联盟LogicCL，一个非正常的模态逻辑用于推理合作机构。我们引入一个范式和一组推理规则来解决CL中的可满足性问题。我们还表明，这里提出的演算是健全的，完整的，和终止。
We present a resolution-based calculus for Coalition LogicCL, a non-normal modal logic used for reasoning about cooperative agency. We introduce a normal form and a set of inference rules to solve the satisfiability problem in CL. We also show that the calculus presented here is sound, complete, and terminating.
登录
查看更多内容
影响因子：
0.3
作者：
P. Wolper
通讯作者：
P. Wolper
影响因子：
2.5
作者：
ROBINSON, JA
通讯作者：
ROBINSON, JA
DOI：
--
发表时间：
2010-12
期刊：
--
影响因子：
--
作者：
Lan Zhang
通讯作者：
Lan Zhang
DOI：
10.5860/choice.39-5860
发表时间：
1997-06
期刊：
--
影响因子：
--
作者：
A. Chagrov;M. Zakharyaschev
通讯作者：
A. Chagrov;M. Zakharyaschev
DOI：
10.1093/logcom/exl009
发表时间：
2006-12
期刊：
J. Log. Comput.
影响因子：
--
作者：
Dirk Walther;C. Lutz;F. Wolter;M. Wooldridge
通讯作者：
Dirk Walther;C. Lutz;F. Wolter;M. Wooldridge