Text this: Logic of knowledge with infinitely many agents