论文部分内容阅读
Kailar在1996年发表了“电子商务协议中的可追究性”一文，使得电子商务协议的形式化分析得到了重大的发展.但是Kailar逻辑的语义一直没有人提出来过，而逻辑的语义对于逻辑的正确性是至关重要的.本文的主要工作就是给出了Kailar逻辑的串空间语义，从语义的角度证明了Kailar逻辑的规则的正确性。