Rohit Parikh Logical omniscience and common knowledge: WHAT do we know and what do WE know? 62-77 2005 conf/tark/2005 TARK http://doi.acm.org/10.1145/1089933.1089943 db/conf/tark/tark2005.html#Parikh05