Kaile Su Weiya Yue Abdul Sattar Mehmet A. Orgun Xiangyu Luo Observation-Based Logic of Knowledge, Belief, Desire and Intention. 366-378 2006 conf/ksem/2006 KSEM http://dx.doi.org/10.1007/11811220_31 db/conf/ksem/ksem2006.html#SuYSOL06