Topological Semantics for Common Inductive Knowledge (opens in new tab)

arXiv:2602.06927v1 Announce Type: new Abstract: Lewis' account of common knowledge in Convention describes the generation of higher-order expectations between agents as hinging upon agents' inductive standards and a shared witness. This paper attempts to draw from insights in learning theory to provide a formal account of common inductive knowledge and how it can be generated by a witness. Our language has a rather rich syntax in order to capture equally rich notions central to Lewis' accoun...