The concept of “common knowledge” in formal logic | Hacker News Reader