21.4.2023 | 11:00–12:00 Foundations Friday: Melissa Antonelli “On Counting Propositional Logic and Wagner’s Hierarchy”