Yoav Shoham Considerations on the logic of intention. 3 2009 TARK http://doi.acm.org/10.1145/1562814.1562818 conf/tark/2009 db/conf/tark/tark2009.html#Shoham09