Luc Lismont La connaissance commune en logique modale. 115-130 1993 39 Math. Log. Q. db/journals/mlq/mlq39.html#Lismont93