On the decidability and complexity of reasoning about only knowing