M. Pascucci: "Natural deduction for modal logic with propositional quantifiers"; Talk: ECAP (European Congress for Analytic Philosophy) 9, München; 2017-08-21 - 2017-08-26.