On the soundness, completeness and applicability of the logic of knowledge and communicative commitments in multi-agent systems
作者：
Highlights：
• We developed a set of valid reasoning postulates in CTLKC+.
• We proved soundness and completeness of CTLKC+ using the correspondence theory.
• We used NetBill as a concrete application example to illustrate the postulates.
摘要
•We developed a set of valid reasoning postulates in CTLKC+.•We proved soundness and completeness of CTLKC+ using the correspondence theory.•We used NetBill as a concrete application example to illustrate the postulates.
论文关键词：Multi-agent systems,Knowledge,Social commitments,Soundness,Completeness,Correspondence theory
论文评审过程：Received 15 June 2015, Revised 3 August 2015, Accepted 12 August 2015, Available online 22 August 2015, Version of Record 20 October 2015.
论文官网地址：https://doi.org/10.1016/j.eswa.2015.08.019
