Thomas Ågotnes Michal Walicki A logic of reasoning, communication and cooperation with syntactic knowledge. 1135-1136 2005 conf/atal/2005 AAMAS http://doi.acm.org/10.1145/1082473.1082660 db/conf/atal/aamas2005.html#AgotnesW05