Marco Colombetti Formal Semantics for Mutual Belief. 341-353 1993 62 Artif. Intell. 2 db/journals/ai/ai62.html#Colombetti93