A resolution-based calculus for Coalition Logic

作者：Nalon Claudia^*; Zhang Lan; Dixon Clare; Hustadt Ullrich

来源：Journal of Logic and Computation, 2014, 24(4): 883-917.

DOI：10.1093/logcom/ext074

• Coalition logic
• theorem-proving
• resolution method

We present a resolution-based calculus for Coalition Logic CL, 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.

• 出版日期2014-8
• 单位首都经济贸易大学