Source: wikibot/mutual-knowledge-logic

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