Footnote:BMB is a one-sided mutual belief operator (Clark & Marshall 1981); (BMB agent proposition) is interpreted as agent believes it to be mutually believed with the other agent that proposition holds.

Go back to paper