This journal version is based on our TARK 2007 conference contribution (Balbiani et al., 2007). It is quite heavily revised. Apart from a different presentation and full proof details for all propositions, there is another expressivity result, the axiomatization is different, and the issue of knowability is addressed in much greater detail.
'Knowable' as 'known after an announcement'