Thomas Ågotnes Michal Walicki Strongly Complete Axiomatizations of "Knowing at Most" in Syntactic Structures. 57-76 2005 conf/clima/2005 CLIMA VI http://dx.doi.org/10.1007/11750734_4 db/conf/clima/climaVI2005.html#AgotnesW05