Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu. Complete Axiomatization and Complexity of Coalition Logic of Temporal Knowledge for Multi-agent Systems. In Marina Sokolova, Peter van Beek, editors, Advances in Artificial Intelligence - 27th Canadian Conference on Artificial Intelligence, Canadian AI 2014, Montréal, QC, Canada, May 6-9, 2014. Proceedings. Volume 8436 of Lecture Notes in Computer Science, pages 269-274, Springer, 2014. [doi]
Abstract is missing.