Mutual knowledge (logic) (source code)

= Mutual knowledge (logic)
{wiki=Mutual_knowledge_(logic)}