Hacker News new | ask | show | jobs
by tehnub 2 hours ago
Indeed. See https://en.wikipedia.org/wiki/Common_knowledge_(logic)