M. Pascucci: "Propositional quantifiers in labelled natural deduction for normal modal logic"; Logic Journal of the IGPL, jzz008 (2019), 31 pages.
https://doi.org/10.1093/jigpal/jzz008