Vitor Machado, Mario R. F. Benevides: Populational Announcement Logic (PPAL). LSFA 2019: 105-123