Public announcement logicって名前が面白いな
どういうことをやるんだろう？
Taoのblogに載ってたようなcommon knowledge的な話とかかな？

あとInterpretability logic とΩ-logic について宜しく