Riccardo Rosati On the decidability and complexity of reasoning about only knowing. 193-215 2000 116 Artif. Intell. 1-2 db/journals/ai/ai116.html#Rosati00 http://dx.doi.org/10.1016/S0004-3702(99)00083-1