A complete coalition logic of temporal knowledge for multi-agent systems

Qingliang Chen, Kaile Su, Yong Hu, Guiwu Hu. A complete coalition logic of temporal knowledge for multi-agent systems. Frontiers of Computer Science in China, 9(1):75-86, 2015. [doi]

Abstract

Abstract is missing.