Xinyu Zhao Shaofeng Fan Runjie Zhang Anbu Yue Zuoquan Lin Toward a Formal Theory of Belief, Capability and Promise Incorporating Temporal Aspect. 296-305 2005 conf/ceemas/2005 CEEMAS http://dx.doi.org/10.1007/11559221_30 db/conf/ceemas/ceemas2005.html#ZhaoFZYL05