Bjørnar Solhaug Arild Waaler Logical Spaces in Multi-agent Only Knowing Systems. 77-95 2005 conf/clima/2005 CLIMA VI http://dx.doi.org/10.1007/11750734_5 db/conf/clima/climaVI2005.html#SolhaugW05